Criar um Site Grátis Fantástico
Interactive theorem proving and program

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



Download 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 C. Paulin-Mohring, G. Huet, Pierre CastTran, Pierre Castéran, Yves Bertot ebook
Page: 497
Format: djvu
ISBN: 3540208542, 9783540208549
Publisher: Springer


Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions, by Yves Bertot and Pierre Castéran. Coq'Art: The Calculus of Inductive Constructions. Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions. Results 1 - 10 of 140 P.: Interactive Theorem Proving and Program Development. 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 (Texts in Theoretical Computer Science. Want to Read saving… pick shelf. Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions (2004).

Download more ebooks:
Modern Information Retrieval pdf download
Hostage to Khomeini pdf
Sets, functions, and logic: introduction to abstract mathematics pdf