LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING
By: GALLIER,J.H.
Material type:
BookPublisher: NEW YORK Wiley 1987Description: 23X16.ISBN: 0471615463.DDC classification: 621.38195 G168
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 621.38195 G168 (Browse shelf) | Available | 052135 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
|
|
|
|
No cover image available |
|
No cover image available | ||
| 621.38195 G146 PC GUIDE FOR UPGRADING AND FIXING YOUR COMPUTER: THE EARLIEST WAY TO LEARN TO UP | 621.38195 G147;1 PC GUIDE INTRODUCTION TO COMPUTERS | 621.38195 G147;1 PC GUIDE INTRODUCTION TO COMPUTERS | 621.38195 G168 LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING | 621.38195 G212 ELECTRONICS AND COMPUTER | 621.38195 G242 PERFORMANCE MODELING OF OPERATING SYSTEMS USING OBJECT-ORIENTED SIMULATION : PRA | 621.38195 G271 INTRODUCTION TO MICROCOMPUTER BASED DIGITAL SYSTEMS |
There are no comments for this item.