Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Paperback, 1st ed. 2019)
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
R2,585
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
25850
@R242pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product Description
This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer Nature Switzerland AG |
Country of origin | Switzerland |
Series | Lecture Notes in Computer Science, 11716 |
Release date | August 2019 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2019 |
Editors | Pascal Fontaine |
Dimensions | 235 x 155mm (L x W) |
Format | Paperback |
Pages | 582 |
Edition | 1st ed. 2019 |
ISBN-13 | 978-3-03-029435-9 |
Barcode | 9783030294359 |
Categories | |
LSN | 3-03-029435-8 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
