Home › Authors › NATO Advanced Study Institute on Proof Technology and Computation (2003 Marktoberdorf, Germany) 👤 NATO Advanced Study Institute on Proof Technology and Computation (2003 Marktoberdorf, Germany) 1 book Books by NATO Advanced Study Institute on Proof Technology and Computation (2003 Marktoberdorf, Germany) Proof technology and computation 2006
