APA Style
Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk. (2022).
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (1).
Switzerland:
Springer Cham.
Chicago Style
Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Blanchette, Jasmin, Kovács, Laura, Pattinson, Dirk.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.