Interactive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions
Material type:
TextPublication details: Berlin Springer Verlag 2004Description: xxv, 469pISBN: 3540208542Subject(s): Automatic theorem provingDDC classification: 511.3 BER
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Mathematics | REFERENCE SECTION | REF 511.3 BER (Browse shelf (Opens below)) | Copy 1 | Not for loan | 015046 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 510.9 STE Mathematics Emerging: a sourcebook 1540-1900 | REF 510.9 STI Mathematics and Its History | REF 510.922 WOO Becoming a Mathematician: an international perspective | REF 511.3 BER Interactive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions | REF 511.3 BIM Combinatory Logic: pure, applied, and typed | REF 511.3 CAF Automated Model Building | REF 511.3 COL Probabilistic Logic in a Coherent Setting |
There are no comments on this title.