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
Programmable Automation Technologies
  • Year: 2010
  • Edition: 1st
  • Publisher: Industrial Press
  • Type: Hardcover
  • ISBN13: 9780831133467
  • ISBN: 0831133465
Fundamentals of Human Resource Management
  • Year: 2010
  • Edition: 4th
  • Publisher: McGraw-Hill/Irwin
  • Type: Paperback
  • ISBN13: 9780073530468
  • ISBN: 0073530468