Related Books
Language: en
Pages: 655
Pages: 655
Type: BOOK - Published: 2021 - Publisher: Springer Nature
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2021 - Publisher:
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full
Language: en
Pages: 517
Pages: 517
Type: BOOK - Published: 2003-10-31 - Publisher: Springer
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full
Language: en
Pages: 519
Pages: 519
Type: BOOK - Published: 2011-07-12 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 20
Language: en
Pages: 533
Pages: 533
Type: BOOK - Published: 2007-09-04 - Publisher: Springer
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refe
