Opening book details…
About this scholarly article
Handbook of Practical Logic and Automated Reasoning by Harrison, John is a scholarly article available to read on EtoBox.
- Author
- Harrison, John
- Publisher
- Cambridge University Press
- Published
- 2009
Checking…
Handbook of Practical Logic and Automated Reasoning
2009
About this book
No description available for this edition yet.
Published by Cambridge University Press (2009).
Details
- Publisher
- Cambridge University Press
Rate this book
Sign in to rate this book
Quick info
- Published
- 2009
- Availability
- Checking…