Skip to content
Home/ Handbook of Automated Reasoning: Volume I
Handbook of Automated Reasoning: Volume I

Handbook of Automated Reasoning: Volume I

No customer reviews yet ISBN 9780444829498 North Holland

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.

About the author

Product details

BrandNorth Holland
Pub dateJun 21, 2001
ISBN-100444829490
ISBN-139780444829498
Hardcover996.0 pages
LanguageEnglish
Dimensions9.61 × 2.06 × 6.69 in
Weight4 lb
Last updated 2025-07-08 14:23
Price unavailable
This title cannot be purchased online right now — check back soon.
In stock soon — order now to reserve your copy
Delivery by Tuesday, September 8, 2026
Not available to order Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Information Theory
See all