Proof analysis in axiomatic systems

  • Conversion, Unified Project Model, (PI)

    Beskrivning

    Academy Research Fellowship
    StatusSlutfört
    Gällande start-/slutdatum01/08/2002 → 31/07/2007
    Visa alla
    Visa färre