Yves Bertot

Yves Bertot's books

Interactive Theorem Proving and Program Development

4.11 avg rating — 28 ratings

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

really liked it 4.00 avg rating — 1 rating

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

From Semantics to Computer Science

0.00 avg rating — 0 ratings

From Semantics to Computer Science Essays in Honour of Gilles Kahn

0.00 avg rating — 0 ratings

[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]

0.00 avg rating — 0 ratings