Handbook of automated reasoning, Volume 1
By: Robinson, J. Alan.
Contributor(s): Voronkov, Andrei | Voronkov, Andrei.
Material type:
BookPublisher: Cambridge: The MIT Press, 2001Description: 970 p.; Index.: 24 cm.ISBN: 0444829490 .Subject(s): Automated reasoning | Automatic theorem proving | Handbook | Qualitative reasoning | ReasoningDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 ROB (Browse shelf) | Available | 006760 |
There are no comments for this item.