Logic for computer science : foundations of automatic theorem proving
Material type: TextLanguage: English Publication details: Dover Publications 2015 Edition: 2nd edDescription: xxiii, 496pISBN: 9780486780825 (PB)Subject(s): Logic, Symbolic and mathematical | Automatic theorem provingDDC classification: 511.3 GAL(LOG)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.3 GAL(LOG) (Browse shelf(Opens below)) | 1 | Available | 29690 |
Total holds: 0
There are no comments on this title.