Books by Yves Bertot

3 titles available, newest first by original publication date.

From Semantics to Computer Science

Yves Bertot

$166.99

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions

Yves Bertot

$116.99

Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings

Yves Bertot

$67.99