Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer Nature Switzerland
2023, 2023
|
Edition: | 1st ed. 2023 |
Series: | Lecture Notes in Artificial Intelligence
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Summary: | This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. |
---|---|
Physical Description: | XXV, 592 p. 85 illus., 32 illus. in color online resource |
ISBN: | 9783031384998 |