Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions epub
Par starr barbara le vendredi, novembre 20 2015, 20:32 - Lien permanent
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
Interactive.theorem.proving.and.program.development.Coq.Art.the.calculus.of.inductive.constructions.pdf
ISBN: 3540208542,9783540208549 | 497 pages | 13 Mb
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
Publisher: Springer
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions. Coq'Art: The Calculus of Inductive. Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions Yves Bertot, Pierre Castéran, Pierre CastTran, G. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. Front Cover · Yves Bertot, Pierre Castéran. Interactive Theorem Proving and Program Development. Of the Coq system and its underlying formalism: the Calculus of Inductive. Coq'Art: The Calculus of Inductive Constructions. Series: Texts in Theoretical Computer Science. Interactive Theorem Proving and. Yves Bertot and Pierre Castéran. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions / Edition 1. Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions Series: Texts in Theoretical Computer Science. Download free Interactive theorem proving and program development: CoqArt: the calculus of inductive constructions - C.