Proof analysis in axiomatic systems

  • Conversion, Unified Project Model (Vastuullinen tutkija)

    Projektin yksityiskohdat

    Kuvaus

    Academy Research Fellowship
    TilaPäättynyt
    Todellinen alku/loppupvm01/08/2002 → 31/07/2007
    Näytä kaikki
    Näytä vähemmän