1.
Interactive Theorem Proving and Program Development
by Yves Bertot
ISBN: 9783540208549
List Price: $109.00
2.
Theorem Proving in High Order Logics 12th International Conference, Tphols'99, Nice, France,...
by Bertot, Yves, Dowek, Gilles...
ISBN: 9783540664635
List Price: $82.95
3.
Interactive Theorem Proving and Program Development : Coq'Art: the Calculus of Inductive Con...
by Bertot, Yves, Castéran, Pie...
ISBN: 9783642058806
List Price: $109.00
4.
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
by Bertot, Yves, Huet, Gèrard,...
ISBN: 9780521518253
List Price: $144.00
5.
Interactive Theorem Proving and Program Development
by Bertot, Yves, Casteran, Pierre
ISBN: 9783662079652
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
by Bertot, Yves
ISBN: 9781450347051
List Price: $99.00
OUT OF STOCK
See Availability on Amazon7.
Theorem Proving in Higher Order Logics
by Bertot, Yves, Dowek, Gilles...
ISBN: 9783662183410
List Price: $24.99
OUT OF STOCK
See Availability on Amazon8.
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
by Bertot, Yves, Huet, G?rard,...
ISBN: 9780511770524