Automated Deduction - CADE-25Amy P. Felty

Automated Deduction - CADE-25
Amy P. Felty, Aart Middeldorp · 2015
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 AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2015
- Publisher
- Springer
- Editions
- 1
- Pages
- 668
- ISBN
- 9783319214009
Data source: Wikidata