Pierre Castéran

Castéran, Pierre · P. C. · P. Casteran

TitelArtISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive ConstructionsTaschenbuch978-3-642-05880-6
(3-642-05880-9)
2010Yves Bertot
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive ConstructionsGebunden978-3-540-20854-9
(3-540-20854-2)
2004  "

Pierre Castex