Automated ReasoningJürgen Giesl
Automated Reasoning
Jürgen Giesl, Reiner Hähnle · 2010
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2010
- Language
- English
- Publisher
- Springer
- Editions
- 1
- ISBN
- 9783642142031
Data source: Wikidata
