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 Verlag
Springer International Publishing
DOI
10.1007/978-3-031-63498-7
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
14739
Results 1-4 of 4 (Search time: 0.003 seconds).