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 II (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 II. 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 II. 1st ed. 2024. Springer Nature Switzerland, 2024.