Logic for Computer Science : Foundations of Automatic Theorem Proving
Material type:
TextPublication details: New York John Wiley & Sons 1987Subject(s):
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library General Stacks 2 | 511.3 GAL/Log (Browse shelf(Opens below)) | Available | 055998 |
Browsing Goa University Library shelves, Shelving location: General Stacks 2 Close shelf browser (Hides shelf browser)
|
No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available |
|
|
|
||
| 511.3 DAV/Com Computability and unsolvability | 511.3 DOE-LEV Applied Discrete Structures for Computer Science | 511.3 ERS-PAL Mathematical Logic | 511.3 GAL/Log Logic for Computer Science : Foundations of Automatic Theorem Proving | 511.3 GAY-NIS Modeling Nature | 511.3 GOT/Com Computational logic and proof theory | 511.3 HAM/Log Logic for Mathematics |
There are no comments on this title.
Log in to your account to post a comment.