Proof analysis in axiomatic systems

  • Conversion, Unified Project Model (PI)

    Projektinformation

    Beskrivning

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