Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier.
Material type: TextLanguage: English Publication details: New York : Dover Pub.; 2015.Edition: 2nd edDescription: xxiii, 496 pISBN:- 9780486780825 (pbk)
- 005.432 GAL/L
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
There are no comments on this title.
Log in to your account to post a comment.