
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: McGraw-Hill Education
- Type: Paperback
- ISBN13: 9780073510880
- ISBN: 9352602129

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

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