Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
Book title Buchtitel
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I
ISBN
978-3-031-63498-7
Publisher Herausgeber
Springer International Publishing
DOI
10.1007/978-3-031-63498-7
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
14739
Date issued
Results 1-3 of 3 (Search time: 0.001 seconds).