First-order logic and automated theorem proving : second edition
Material type: TextLanguage: English Series: Graduate texts in computer sciencePublication details: Springer, New York 1996 Edition: 2Description: xvi, 326pISBN: 9780387945934Subject(s): Automatic theorem proving | Logic, Symbolic and mathematicalDDC classification: 004.015113 FIT(FIR)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 004.015113 FIT(FIR) (Browse shelf(Opens below)) | 1 | Available | 5149 |
Total holds: 0
MC/1/0281/08-09/30-07-08
There are no comments on this title.