Logic for computer science: Foundations of automatic theorem proving
Material type:
TextPublication details: New York; John Wiley; 1987Description: xv p. + 511
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Raman Research Institute Library | 681.32.062 GAL (Browse shelf(Opens below)) | Available | 16388 |
Browsing Raman Research Institute Library shelves Close shelf browser (Hides shelf browser)
|
|
|
No cover image available |
|
No cover image available |
|
||
| 681.32.062 ERC Digital arithmetic | 681.32.062 FEY Feynman lectures on computation. | 681.32.062 FEY Feynman lectures on computation / | 681.32.062 GAL Logic for computer science: Foundations of automatic theorem proving | 681.32.062 GAR Computers and intractability : | 681.32.062 GIN Introduction to mathematical machine theory | 681.32.062 GOO "Algorithm design: Foundations, analysis and internet examples" |
There are no comments on this title.
Log in to your account to post a comment.