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
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
519.4 B46t THEORY OF CODES | 519.4 B581 ALGEBRAIC CODING THEORY | 519.4 B58Li AN INTRODUCTION TO ALGEBRAIC AND COMBINATORIAL CODING THEORY | 519.4 B695c A COMPUTATIONAL LOGIC | 519.4 B731m MULTIGRID METHODS | 519.4 C355c COMPUTATIONAL METHODS FOR DATA ANALYSIS | 519.4 C421n2 NUMERICAL MATHEMATIC AND COMPUTING |
Bibliographies : P. 385-387
There are no comments for this item.