Logic for computer science : foundations of automatic theorem proving /
by Gallier, Jean H.
Material type:
BookSeries: Harper & Row computer science and technology series. Publisher: New York, NY : Harper & Row, c1986Description: xv, 511 p. ; 25 cm.ISBN: 0060422254.Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 511.3 GAL (Browse shelf) | 1 | Available | 314615 | |
|
Books
|
Dhaka University Science Library General Stacks | Non Fiction | 511.3 GAL (Browse shelf) | 2 | Available | 314616 |
Browsing Dhaka University Science Library Shelves , Shelving location: General Stacks , Collection code: Non Fiction Close shelf browser
|
|
|
|
|
|
|
||
| 511.3 EBM Mathematical logic / | 511.3 F996 Fuzzy automata and decision processes / | 511.3 GAL Logic for computer science : | 511.3 GAL Logic for computer science : | 511.3 GET Introduction to mathematical structures and proofs / | 511.3 GUA Advances in fuzzy set theory and applications / | 511.3 HRI Introduction to set theory / |
Includes bibliographies and indexes.
There are no comments for this item.