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

Six Sigma Memory Jogger II: A Pocket Guide
  • Year: 2017
  • Edition: Spiral Bound
  • Publisher: Goal/QPC
  • Type: Spiral-bound
  • ISBN13: 9781576810446
  • ISBN: 1576810445
Fundamentals of Programmable Logic Controllers, Sensors,...
  • Year: -0001
  • Edition: 3rd
  • Publisher: Pearson
  • Type: Paperback
  • ISBN13: 9780130618900
  • ISBN: 013061890X
The CNC Workshop (Version 2)
  • Year: -0001
  • Edition:
  • Publisher: Sdc Pubns
  • Type: Paperback
  • ISBN13: 9781585030835
  • ISBN: 158503083X