Interactive theorem proving and program development [ Livre] : Coq'Art, the calculus of inductive constructions / Bertot Yves ; Casteran Pierre
Langue: Anglais.Publication : Springer, 2004Description : XXV-469 p. ; 25 cmISBN: 3540208542.Collection: Texts in theoretical computer science : an EATCS seriesClassification: F 4 1 Logique mathématiqueRésumé: http://coq.inria.fr.Sujet - Nom commun: Théorèmes -- Démonstration automatique | Logiciels -- DéveloppementCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 BER (Browse shelf) | Available | F 4 Logique mathématique | 00011171 | |
ENS Rennes - Bibliothèque Magasin (archives) | F 4 1 BER (Browse shelf) | Available | F 4 1 Logique mathématique | 000111711 |
Bibliogr. Index