...
click to view more

by

$311.65

add to favourite
  • In Stock - Guaranteed to ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Monday, April 14, 2025 2:07:36 AM UTC
  • 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

  • Jun 21, 2001 Pub Date:
  • 9780444508126 ISBN-13:
  • 0444508120 ISBN-10:
  • 1188.0 pages Hardcover
  • English Language