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!
|
Similar Items
-
Automated Deduction - CADE 29 : : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings.
by: Pientka, Brigitte.
Published: (2023.) -
Automated Deduction - CADE 28 : : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.
by: Platzer, André.
Published: (2021.) -
Automated Deduction - CADE 28 : : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
by: Platzer, André.
Published: (2021.) -
Automated Reasoning with Analytic Tableaux and Related Methods : : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings.
by: Ramanayake, Revantha.
Published: (2023.) -
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / / edited by Revantha Ramanayake, Josef Urban.
Published: (2023.)