Automated theorem proving : theory and practice
By: Newborn, Monty.
Material type:
BookPublisher: New York: Springer, 2001Description: xiii, 231 p.; : 24 cm.ISBN: 0387950753 .Subject(s): Automated theorem Proving | Artificial intelligence | Logic, Symbolic and mathematicalDDC classification: 004.015113
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
CD-DVDs
|
004.015113 NEW (Browse shelf) | Available | C00946 | ||
| Books | 004.015113 NEW (Browse shelf) | Available | 011408 |
Browsing DAIICT Shelves Close shelf browser
| 004.015113 BER Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions | 004.015113 BOW Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems | 004.015113 HOM Automata theory and formal languages | 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 NEW Automated theorem proving : theory and practice | 004.015113 SIM Theory of formal languages with applications | 004.015113 TAY Models of Computation and Formal Languages |
There are no comments for this item.