Castéran, Pierre · P. C. · P. Casteran
Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|---|
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | Taschenbuch | 978-3-642-05880-6 (3-642-05880-9) | 2010 | Yves Bertot |
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions | Gebunden | 978-3-540-20854-9 (3-540-20854-2) | 2004 | " |