Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Artificial Intelligence ; 14739Publisher: Cham : Springer Nature Switzerland, 2024Publisher: Cham : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XVI, 482 p. 89 illus., 42 illus. in color.)ISBN:- 9783031634987
- 005.131 23
No physical items for this record
Open Access