Automated DeductionRobert Nieuwenhuis
Automated Deduction
Robert Nieuwenhuis · 2008
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
- 2008
- Publisher
- Springer
- Editions
- 1
- ISBN
- 9783540813552
Data source: Wikidata
