...
click to view more

by

$270.31

add to favourite
  • In Stock - Guaranteed to ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Wednesday, April 23, 2025 4:34:40 AM UTC
  • 24/24 Online
  • Yes High Speed
  • Yes Protection
Tell-A-Friend
Last update:

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.

Last updated on

Product Details

  • Jun 21, 2001 Pub Date:
  • 9780444829498 ISBN-13:
  • 0444829490 ISBN-10:
  • 996.0 pages Hardcover
  • English Language