Handbook of Automated Reasoning

Handbook of Automated Reasoning

  • List Price: $165.00
  • ISBN-10: 026218222X
  • ISBN-13: 9780262182225
  • Edition: N/A
  • Type: Hardcover
  • Publisher: The MIT Press

About The Book

Automated reasoning has matured into one of the most advanced areas ofcomputer science. It is used in many areas of the field, including software... Read more

FINDING THE BEST PRICES

Related Books

Manufacturing Facilities Design & Material Handling...
  • Year: 2009
  • Edition: 4th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780135001059
  • ISBN: 0135001056
Six Sigma Memory Jogger II: A Pocket Guide
  • Year: 2017
  • Edition: Spiral Bound
  • Publisher: Goal/QPC
  • Type: Spiral-bound
  • ISBN13: 9781576810446
  • ISBN: 1576810445
Programmable Logic Controllers
  • Year: 2009
  • Edition: 4th
  • Publisher: McGraw-Hill Education
  • Type: Paperback
  • ISBN13: 9780073510880
  • ISBN: 9352602129