Harrison, J.
Handbook of practical logic and automated reasoning
Harrison, J. · 2009
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonAbout the book
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Book details
- Year
- 2009
- Language
- English
- Publisher
- Cambridge University Press
- Editions
- 1
- Pages
- 681
- ISBN
- 9780521899574
Data source: Wikidata