Original Image
click to view more

Handbook of Automated Reasoning Volume II

by Handbook of Automated Reasoning: Volume II

$308.89

add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Tuesday, May 06, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection
Tell-A-Friend
Last update:

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.

Last updated on

Product Details

  • North Holland Brand
  • Jun 21, 2001 Pub Date:
  • 9780444508126 ISBN-13:
  • 0444508120 ISBN-10:
  • 1188.0 pages Hardcover
  • English Language
  • 9.61 in * 2.38 in * 6.69 in Dimensions:
  • 5 lb Weight: