NON STANDARD LOGICS FOR AUTOMATED REASONING
By: SMETS.P. ETC.
Material type:
BookPublisher: LONDON ACADEMIC 1988Description: 24X16.ISBN: 0126495203.DDC classification: 511.3 S637
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
CENTRAL LIBRARY | 511.3 S637 (Browse shelf) | Available | 048812 |
Browsing CENTRAL LIBRARY Shelves Close shelf browser
| No cover image available | No cover image available | No cover image available |
|
No cover image available |
|
|
||
| 511.3 S6187T THEORY OF COMPUTATION | 511.3 S6187T THEORY OF COMPUTATION | 511.3 S6187T THEORY OF COMPUTATION | 511.3 S637 NON STANDARD LOGICS FOR AUTOMATED REASONING | 511.3 S64 FIRST-ORDER LOGIC | 511.3 S64 FIRST ORDER LOGIC | 511.3 S64 FIRST ORDER LOGIC |
There are no comments for this item.