Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions pdf
Par gordon wanda le dimanche, juin 19 2016, 05:27 - Lien permanent
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
Texts in Theoretical Computer Science. 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, 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. Download free Interactive theorem proving and program development: CoqArt: the calculus of inductive constructions - C. (2004) Interactive theorem proving and program development. By Yves Bertot and Pierre Castéran. Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions 公式 http://www.labri.fr/perso/casteran/CoqArt/index.html (背景色注意).