Automated Model Building by Richardo Caferra
Material type:
TextPublication details: London Kluwer Academic Publishers 2004Description: xi, 341pISBN: 1402026528Subject(s): Automatic theorem proving | Applied logicDDC classification: 511.3 CAF
Contents:
<p>Contents: 1. Introduction 2. Prelimi
| 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 CAF (Browse shelf (Opens below)) | Copy 1 | Not for loan | 018535 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 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 | REF 511.3 DEL Cellular Automata: a parallel model | REF 511.3 GAB Interpolation and Definability: Modal and Intuitionistic Logics |
<p>Contents: 1. Introduction 2. Prelimi
There are no comments on this title.