Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions book download
Par mitchell allison le mercredi, février 24 2016, 22:26 - 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. 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 (2004). Results 1 - 10 of 140 P.: Interactive Theorem Proving and Program Development. Want to Read saving… pick shelf. Texts in Theoretical Computer Science. 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. Coq'Art: The Calculus of Inductive Constructions. Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions / Edition 1. Tryggt AAA högsta kreditvärdighet.
Temple of Elemental Evil (Advanced Dungeons & Dragons AD&D Supermodule T1-4) download
Managing Business Complexity: Discovering Strategic Solutions with Agent-Based Modeling and Simulation epub
Life Itself: Its Origin and Nature pdf