Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / / edited by Brigitte Pientka, Cesare Tinelli.
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. .
Saved in:
Superior document: | Lecture Notes in Artificial Intelligence, 14132 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer Nature Switzerland :, Imprint: Springer,, 2023. |
Year of Publication: | 2023 |
Edition: | 1st ed. 2023. |
Language: | English |
Series: | Lecture Notes in Artificial Intelligence,
14132 |
Physical Description: | 1 online resource (614 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
DOAB Directory of Open Access Books | Available |