First-order logic and automated theorem proving
By: Fitting, Melvin.
Material type:
BookSeries: Graduate texts in computer science.Publisher: New York: Springer-Verlag, 1996Edition: 2nd ed.Description: xvi, 326 p.; ill., index: 24 cm.ISBN: 9780387945934 .Subject(s): Logic, Symbolic and mathematical | Automatic theorem provingDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 FIT (Browse shelf) | Available | 009314 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 EXN Accompaniment to higher mathematics | 511.3 FEF In the light of logic | 511.3 FER Models of computation : an introduction to computability theory | 511.3 FIT First-order logic and automated theorem proving | 511.3 FIT Incompleteness in the land of sets | 511.3 FOR Reasoning about theoretical entities | 511.3 FRA Godel's theorem : an incomplete guide to its use and abuse |
There are no comments for this item.