| Handbook of Automated Reasoning: Volume II Contributor(s): Robinson, Alan J. a. (Editor), Voronkov, Andrei (Editor) |
|
 |
ISBN: 0444508120 ISBN-13: 9780444508126 Publisher: North-Holland OUR PRICE: $272.25 Product Type: Hardcover - Other Formats Published: June 2001 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Medical - Computers | Information Theory |
| Dewey: 511.3 |
| LCCN: 2001090839 |
| Series: Handbook of Automated Reasoning |
| Physical Information: 2.38" H x 6.69" W x 9.61" (4.56 lbs) 1188 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics. |