Handbook of Automated Reasoning

Handbook of Automated Reasoning

Edited by J. Alan Robinson and Andrei Voronkov

Hardcover

$165.00

Hardcover

ISBN: 9780262182225

Pub date: July 20, 2001

Publisher: The MIT Press

1185 pp., 7 x 10 in,

MIT Press BookstorePenguin Random HouseAmazonBarnes and NobleBookshop.orgIndieboundIndigoBooks a Million

Hardcover

$34.75

Hardcover

ISBN: 9780262182218

Pub date: July 20, 2001

Publisher: The MIT Press

1185 pp., 7 x 10 in,

MIT Press BookstorePenguin Random HouseAmazonBarnes and NobleBookshop.orgIndieboundIndigoBooks a Million

Hardcover

$55.75

Hardcover

ISBN: 9780262182232

Pub date: July 20, 2001

Publisher: The MIT Press

1185 pp., 7 x 10 in,

MIT Press BookstorePenguin Random HouseAmazonBarnes and NobleBookshop.orgIndieboundIndigoBooks a Million

1185 pp., 7 x 10 in,

  • Hardcover
  • 9780262182225
  • Published: July 2001
  • Publisher: The MIT Press
  • Rights: for sale only in the US and Canada

$165.00

  • Hardcover
  • 9780262182218
  • Published: July 2001
  • Publisher: The MIT Press
  • Rights: for sale only in the US and Canada

$34.75

  • Hardcover
  • 9780262182232
  • Published: July 2001
  • Publisher: The MIT Press
  • Rights: for sale only in the US and Canada

$55.75

Other Retailers:

Related Books

Bits to Bitcoin
Immunological Bioinformatics
Perturbations, Optimization, and Statistics
Automata Theory
Programming Your GPU with OpenMP
Privacy Is Hard and Seven Other Myths
Probabilistic Machine Learning
Essentials of Compilation
Computability and Complexity
Cloud Computing