Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Computer Science - Amy P Felty - Books - Springer International Publishing AG - 9783319214009 - July 30, 2015
In case cover and title do not match, the title is correct

Amy P Felty
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 7

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

640 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 30, 2015
ISBN13 9783319214009
Publishers Springer International Publishing AG
Pages 640
Dimensions 155 × 235 × 34 mm   ·   9.94 kg
Language French  
Editor Felty, Amy P.
Editor Middeldorp, Aart

Mere med samme udgiver

See all of Amy P Felty ( e.g. Paperback Book )