Logic for computer science foundations of automatic theorem proving
by Gallier, Jean H.
Publisher: New York Harper & Row 1986Edition: 1st ed.Description: xv, 511 p. 25 cm.ISBN: 0060422254.Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| General Book | Central Library, BUET Circulation section | 511.3/GAL/1986 (Browse shelf) | 1 | Available | 75433 |
Browsing Central Library, BUET Shelves , Shelving location: Circulation section Close shelf browser
|
|
|
|
|
|
|
||
| 511.352/MEY/2012 Computational complexity : | 511.352/MEY/2012 Computational complexity : | 511.352/MEY/2012 Computational complexity : | 511.3/GAL/1986 Logic for computer science | 511.3/KEI/1996 Mathematical logic and computability | 511.3/KOL/1984 Discrete mathematical structures for computer science | 511.3/LI/1997 Introduction to Kolmogorov complexity and its applications |
Includes bibliographies
There are no comments for this item.