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 | In8Item 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
There are no comments for this item.