Skip navigation

Handbook of Automated Reasoning, 2-Volume Set

By edited by J. Alan Robinson and Andrei Voronkov
$270.00
$270.00

View Complete Product Information

Specifications

Hardcover

  • Pages: 2150p.
  • Dimensions: 6.5 x 9.5 inches
  • Publication Date: July 20, 2001
  • Distributor: The MIT Press
  • ISBN: 9780262182232
  • ISBN10: 0262182238