A COMPUTATIONAL LOGIC
By: Boyer, Robert S.
Contributor(s): Moore, J. Strother.
Material type: BookPublisher: New York Academic Press 1979Description: xiv,397.Subject(s): Automatic Theorem ProvingDDC classification: 519.4 | B695cItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 519.4 B695c (Browse shelf) | Book Request | Available | A66666 |
Total holds: 0
Bibliographies : P. 385-387
There are no comments for this item.