Larry Wos, etc.
Automated Reasoning: Introduction and Applications
- Availability
- To see availability please select your region.
- Books2Africa Collection
- Subjects
- Author(s)
- Published
- Publisher
- Prentice Hall
- ISBN-10
- 0130544469
- ISBN-13
- 9780130544469
To reserve this book you first need to set your reservation location.