Proof analysis in axiomatic systems

  • Conversion, Unified Project Model, (PI)

    Beskrivning

    Academy Research Fellowship
    StatusSlutfört
    Gällande start-/slutdatum01/08/200231/07/2007