Releases von Yves Bertot

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

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 (Taschenbuch) [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 (Gebundenes Buch) (2009)

Gebundenes Buch

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 (Gebundenes Buch) [2004 edition] (2004)

Gebundenes Buch

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 (Taschenbuch) [1999 edition] (1999)

Theorem Proving in Higher Order ... (1999)