First Order Logic and Automated Theorem Proving
Language: English Series: Texts and Monographs in Computer SciencePublication details: New York : Springer-Verlag, c1990Description: XIII, 242 pISBN:- 0387972331
- 511.3 FIT
Item type | Current library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Circulation Section | Circulation Section | 511.3 FIT | Available | 93343 |
Total holds: 0