Showing 1 - 1 results of 1 for search 'NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)', query time: 0.02s Refine Results
  1. 1
    Proof technology and computation /

    Proof technology and computation / by NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany), Schwichtenberg, Helmut, 1942-, Spies, Katharina

    Published 2006

Search Tools: