Automated Deduction - Cade-25: 25th International Conference On Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings by Amy P. FeltyAutomated Deduction - Cade-25: 25th International Conference On Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings by Amy P. Felty

Automated Deduction - Cade-25: 25th International Conference On Automated Deduction, Berlin…

EditorAmy P. Felty, Aart Middeldorp

Paperback | July 30, 2015

Pricing and Purchase Info

$154.95

Earn 775 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Automated Deduction - Cade-25: 25th International Conference On Automated Deduction, Berlin…Format:PaperbackDimensions:9.25 × 6.1 × 0.07 inPublished:July 30, 2015Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319214004

ISBN - 13:9783319214009

Look for similar items by category:

Reviews