Books by Yves Bertot

Yves Bertot
Average rating 4.10 · 29 ratings · 2 reviews · shelved 201 times

Showing 6 distinct works.

	Interactive Theorem Proving and Program Development by Yves Bertot 4.11 avg rating — 28 ratings — published 2004 — 10 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	From Semantics to Computer Science: Essays in Honour of Gilles Kahn by Yves Bertot (Editor), Gérard Huet (Editor), Jean-Jacques Levy (Editor), Gordon Plotkin (Editor) really liked it 4.00 avg rating — 1 rating — published 2009 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690) by Yves Bertot (Editor) 0.00 avg rating — 0 ratings — published 1999 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	From Semantics to Computer Science by Yves Bertot (Editor), Gérard Huet (Editor), Jean-Jacques Levy (Editor) 0.00 avg rating — 0 ratings — published 2009	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	From Semantics to Computer Science Essays in Honour of Gilles Kahn by Yves Bertot 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	[Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)] [Author: Bertot, Yves] [May, 2004] by Yves Bertot, Unknown Author 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.