First-order logic and automated theorem proving Melvin Fitting
Series: Graduate texts in computer science | Graduate texts in computer science (Springer-Verlag New York Inc.)Publication details: New York Springer c1996.Edition: 2nd edDescription: xvi, 326 p. ill. ; 25 cmISBN:- 0387945938 (New York : hardcover : alk. paper)
- 511.3
- QA76.9.A96
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Carti | IMAR | 511.3-FIT (Browse shelf(Opens below)) | 1 | Checked out | 04/18/2025 | 0033399 |
eng
Bibliografie
Index
There are no comments on this title.
Log in to your account to post a comment.