Mon premier blog

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre Castéran, Yves Bertot

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre Castéran, Yves Bertot ebook
Format: djvu
Publisher: Springer
ISBN: 3540208542, 9783540208549
Page: 497

Booktopia has Interactive Theorem Proving and Program Development, Coq'Art: the Calculus of Inductive Constructions by Yves Bertot. Clarke Jr., Orna Grumberg and Doron A. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, by Yves Bertot and Pierre Castéran. The Calculus of Inductive Constructions. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, by Yves Bertot and Pierre Cast ran. Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions. [14]: Yves Bertot and Pierre Castéran. Interactive Theorem Proving and Program Development. Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions Yves Bertot, Pierre Castéran, Pierre CastTran, G. EBay: A practical introduction to the development of proofs and certified programs using Coq. Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions Series: Texts in Theoretical Computer Science. Coq'Art: The Calculus of Inductive Constructions. Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions, 2004. Interactive Theorem Proving and Program Development, Coq'Art: The Calculus of Inductive Constructions · Edmund M. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science.