Skip navigation

Handbook of Automated Reasoning, Volume 2

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

View Complete Product Information

Specifications

Hardcover

  • Pages: 1185p.
  • Dimensions: 7 x 9.75 inches
  • Publication Date: July 20, 2001
  • Distributor: The MIT Press
  • ISBN: 9780262182225
  • ISBN10: 026218222X