Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions
by Bertot, Yves
Type
Book
Rate
0.0 /5
Title Statements
- Full title :Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot ; Pierre Castéran. Foreword by Gérard Huet and Christine Paulin-Mohring
Edition Statements
- Publication Date:2004
Publication Statements
- Publisher(s):Springer
- Place of Publication:Berlin
- Language:eng
- Publication Date:2004
Notes
Literaturverz. S. 453 - 457
The Physical Object
- Description:XXV, 469 S. : 24 cm
Edition Identifiers
- ISBN:9783540208549, 3540208542
- oclc:ocn249648441
- LC Classification:QA76.9.A96
- Dewey Decimal:510
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Mythos, Katalog und Prophezeiung: Studien zu den "Argonautika" des Apollo…
Scherer, Burkhard
0.0
Type: Book
Negotiating the gift: pre-modern figurations of exchange
0.0
Type: Book
Die Berliner Mauer, Kennedy und die Kubakrise: die westliche Allianz in der Zerreißpro…
Münger, Christof
0.0
Type: Book
Briefe
0.0
Type: Book
Turfan revisited: the first century of research into the …
0.0
Type: Book
Facility location: concepts, models, algorithms and case s…
0.0
Type: Book
Hemodiafiltration: 11 tables
0.0
Type: Book
Files & Downloads
-
Interactive Theorem Proving and Program Developme…
DJVU · 3.2 MB · updated -
Interactive Theorem Proving and Program Developme…
DJVU · 1.8 MB · updated -
Interactive Theorem Proving and Program Developme…
DJVU · 3.2 MB · updated -
Interactive Theorem Proving and Program Developme…
DJVU · 3.1 MB · updated
Rate & Review