Original Image
click to view more

Handbook of Automated Reasoning Volume I

by Handbook of Automated Reasoning: Volume I

$270.31

add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Monday, May 05, 2025
  • 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

  • North Holland Brand
  • Jun 21, 2001 Pub Date:
  • 9780444829498 ISBN-13:
  • 0444829490 ISBN-10:
  • 996.0 pages Hardcover
  • English Language
  • 9.61 in * 2.06 in * 6.69 in Dimensions:
  • 4 lb Weight: