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

Simulation Using ProModel
  • Year: 2011
  • Edition: 3rd
  • Publisher: McGraw-Hill Science/Engineering/Math
  • Type: Hardcover
  • ISBN13: 9780073401300
  • ISBN: 0073401307
Manufacturing Facilities Design & Material Handling...
  • Year: 2009
  • Edition: 4th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780135001059
  • ISBN: 0135001056
The CNC Workshop (Version 2)
  • Year: -0001
  • Edition:
  • Publisher: Schroff Development Corp
  • Type: Paperback
  • ISBN13: 9781585030835
  • ISBN: 158503083X