
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
Related Books

- Year: 2017
- Edition: Spiral Bound
- Publisher: Goal/QPC
- Type: Spiral-bound
- ISBN13: 9781576810446
- ISBN: 1576810445

- Year: -0001
- Edition: 3rd
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780130618900
- ISBN: 013061890X

- Year: -0001
- Edition:
- Publisher: Sdc Pubns
- Type: Paperback
- ISBN13: 9781585030835
- ISBN: 158503083X