Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780486780825 (pbk)
- 005.432 GAL/L
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 GAL/L Logic for computer science : foundations of automatic theorem proving / | 005.432 KAN/U Unix Shell Programming | 005.432 KOC/U UNIX Shell programming |
There are no comments on this title.
Log in to your account to post a comment.