Yves Bertot

Identifiers

Open LibraryOL1395853A

Top Subjects

Computer network architectures (1)
Computer science (1)
Artificial intelligence (1)
Logic design (1)
Software engineering (1)
Computer programming (1)
Automatic theorem proving (1)

Books by Yves Bertot

Total count: 5

Theorem Proving in Higher Order Logics12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Springer London, Limited2003-01-01
Interactive Theorem Proving and Program DevelopmentCoq'Art: The Calculus of Inductive Constructions

Springer Berlin Heidelberg2004-01-01
Interactive theorem proving and program developmentCoq'Art : the calculus of inductive constructions

Springer2004-01-01
From Semantics to Computer ScienceEssays in Honour of Gilles Kahn

Cambridge University Press2009-01-01
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Association for Computing Machinery2017-01-01