*Result*: Automated Deduction – CADE 29
*Title*:
Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / edited by Brigitte Pientka, Cesare Tinelli
*Author/editor-in-chief*:
*Edition*:
1st ed. 2023
*Publication*:
Cham : Springer Nature Switzerland, 2023
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XXV, 592 Seiten) : 85 illus., 32 illus. in color.
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 14132
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Automated Deduction – CADE 29. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031384981
*ISBN*:
9783031384998 ; 3031384997 ; 9783031384981 (Sekundärausgabe) ; 9783031385001 (Sekundärausgabe)
*DOI*:
10.1007/978-3-031-38499-8