Proof analysis in axiomatic systems

  • Conversion, Unified Project Model (PI)

    Project Details

    Description

    Academy Research Fellowship
    StatusFinished
    Effective start/end date01/08/2002 → 31/07/2007
    View all
    View less