| Handbook of Automated Reasoning: Volume I Contributor(s): Voronkov, Andrei (Editor), Robinson, Alan J. a. (Editor) |
|
 |
ISBN: 0444829490 ISBN-13: 9780444829498 Publisher: North-Holland OUR PRICE: $237.60 Product Type: Hardcover - Other Formats Published: June 2001 |
| Additional Information |
| BISAC Categories: - Computers | Information Theory - Mathematics | Logic - Computers | Expert Systems |
| Dewey: 511.3 |
| LCCN: 2001090839 |
| Series: Handbook of Automated Reasoning |
| Physical Information: 2.06" H x 6.69" W x 9.61" (3.90 lbs) 996 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. |