
Handbook of Automated Reasoning
- List Price: $540.00
- ISBN-10: 0444508139
- ISBN-13: 9780444508133
- Edition: N/A
- Type: Kindle Edition
- Publisher: North Holland
About The Book
Set.
Related Books

- Year: 2009
- Edition: 4th
- Publisher: Prentice Hall
- Type: Hardcover
- ISBN13: 9780135001059
- ISBN: 0135001056

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

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