欧宝娱乐

Yves Bertot

Yves Bertot鈥檚 Followers (2)

member photo

member photo

Yves Bertot

Combine Editions
Yves Bertot鈥檚 books

Average rating: 4.1 · 29 ratings · 2 reviews · 5 distinct works

	Interactive Theorem Proving and Program Development 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) really liked it 4.00 avg rating — 1 rating — published 2009 — 6 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) 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 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

More books by Yves Bertot…

Is this you? Let us know. If not, help out and invite Yves to 欧宝娱乐.