INTRODUCTION TO HOL
By: Gordon, M. J. C.
Contributor(s): Melham, T. F.
Material type:
BookPublisher: Cambridge Cambridge Univ. Press c1993Description: xi,472.Subject(s): Logic Programming | Logic, Symbolic And MathematicalDDC classification: 621.381958 | In8
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 621.381958 In8 (Browse shelf) | Book Request | Available | A116165 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 621.381958 H367d DIGITAL COMPUTER SYSTEM PRINCIPLES | 621.381958 H367d2 DIGITAL COMPUTER SYSTEM PRINCIPLES | 621.381958 H946 THRESHOLD LOGIC | 621.381958 In8 INTRODUCTION TO HOL | 621.381958 K159 COMPUTER ORGANIZATION AND THE SYSTEMS/370 | 621.381958 K169L LINEAR SEQUENTIAL SWITCHING CIRCUITS | 621.381958 K399g GENERALIZED DIGITAL COMPUTER PROGRAM FOR PERFORMING PROCESS MATERIALS AND ENERGY BALANCES |
There are no comments for this item.