Proof analysis in axiomatic systems

  • Conversion, Unified Project Model, (PI)

    Description

    Academy Research Fellowship
    StatusFinished
    Effective start/end date01/08/200231/07/2007