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 Education
  • Type: Hardcover
  • ISBN13: 9780073401300
  • ISBN: 0073401307
The CNC Workshop (Version 2)
  • Year: -0001
  • Edition:
  • Publisher: Sdc Pubns
  • Type: Paperback
  • ISBN13: 9781585030835
  • ISBN: 158503083X
Fundamentals of Human Resource Management
  • Year: 2010
  • Edition: 4th
  • Publisher: McGraw-Hill/Irwin
  • Type: Paperback
  • ISBN13: 9780073530468
  • ISBN: 0073530468