Releases med Yves Bertot

På lager hos iMusic Vis utilgjengelige utgivelser

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 (Pocketbok) [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 (Innbunden bok) (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 (Innbunden bok) [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 (Pocketbok) [1999 edition] (1999)

Theorem Proving in Higher Order ... (1999)