APA Style

Automated Reasoning ( 12th International Joint Conference, IJCAR 2024 ) Nancy, France, July 3–6, 2024 Proceedings, Part II. (2024). : Springer.

MLA Style

Automated Reasoning ( 12th International Joint Conference, IJCAR 2024 ) Nancy, France, July 3–6, 2024 Proceedings, Part II. . : Springer, 2024. Text.