Related Books
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
Language: en
Pages: 532
Pages: 532
Type: BOOK - Published: 2007-07-05 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
This book constitutes the refereed proceedings of the 16th International Conference on Automated Deduction, CADE-16, held in Trento, Italy in July 1999 as part
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: 479
Pages: 479
Type: BOOK - Published: 2013-06-04 - Publisher: Springer
This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 r