APA (7th ed.) Citation

Benzmüller, C. e., Heule, M. J. e., & Schmidt, R. A. e. (2024). Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I (1st ed. 2024.). Springer Nature Switzerland.

Chicago Style (17th ed.) Citation

Benzmüller, Christoph. editor, Marijn J.H. editor Heule, and Renate A. editor Schmidt. Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 1st ed. 2024. Cham: Springer Nature Switzerland, 2024.

MLA (9th ed.) Citation

Benzmüller, Christoph. editor, et al. Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 1st ed. 2024. Springer Nature Switzerland, 2024.