Shelfclass_id | 4.B.3 |
Sortkey | ROBINSON, J. A |
Authors | J. A. Robinson, A. Voronkov |
Title | Handbook of Automated Reasoning: Volume 1 |
Publisher | MIT Press |
Year | c2001 |
Languages | eng |
Isbn | 0262182211 |
Description | 2 v. (xxv, 2122 p.) ill. 25 cm |
Record date | 20060713 |
Location | Cambridge, Mass. |
Keywords | Automatic theorem proving, Qualitative reasoning |