Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Book title Buchtitel
Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
ISBN
978-3-031-38498-1
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-031-38499-8
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
14132
Access Type
Date issued
Results 1-4 of 4 (Search time: 0.003 seconds).