Related Books
Language: en
Pages: 614
Pages: 614
Type: BOOK - Published: 2023-10-04 - Publisher: Springer Nature
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during
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: 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: 493
Pages: 493
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 1999-06-23 - Publisher: Springer Science & Business Media
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
