Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 3 of 3 results for "Yves Bertot"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions / Edition 1, Author: Yves Bertot
QUICK ADD
Interactive Theorem Proving…
by Yves Bertot, G. Huet, Pierre Castéran, C. Paulin-Mohring
Explore Series
Paperback $89.99
Title: Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings, Author: Yves Bertot
QUICK ADD
Theorem Proving in Higher…
by Yves Bertot (Editor), Gilles Dowek (Editor), Andre Hirschowitz (Editor), Christine Paulin (Editor), Laurent Thery (Editor)
#1690 in Series
Paperback $54.99
Title: From Semantics to Computer Science: Essays in Honour of Gilles Kahn, Author: Yves Bertot
QUICK ADD
From Semantics to Computer…
by Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin
Hardcover $137.00