Releases by Yves Bertot

All4
Hardcover Book2
Paperback Book2

In stock at iMusic Show unavailable items

Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2004 edition] (2010)

Softcover reprint of hardcover 1st ed. 2004 edition

Interactive Theorem Proving and ... (2010)

Cover for Yves Bertot · From Semantics to Computer Science: Essays in Honour of Gilles Kahn (Hardcover Book) (2009)

From Semantics to Computer Scien... (2009)

Cover for Yves Bertot · Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2004 edition] (2004)

Interactive Theorem Proving and ... (2004)

Cover for Yves Bertot · Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1999 edition] (1999)

Theorem Proving in Higher Order ... (1999)