Blanchette, J., Kovács, L., & Pattinson, D. (2022). Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (1.). Springer Nature. https://doi.org/10.1007/978-3-031-10769-6
Citace podle Chicago (17th ed.)Blanchette, Jasmin, Laura Kovács, a Dirk Pattinson. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 1. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-031-10769-6.
Citace podle MLA (9th ed.)Blanchette, Jasmin, et al. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 1. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-10769-6.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..