APA Citation

Peltier, N., & Sofronie-Stokkermans, V. (2020). Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (1st ed. 2020.). Cham: Springer International Publishing.

Chicago Style Citation

Peltier, Nicolas, and Viorica Sofronie-Stokkermans. Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. 1st ed. 2020. Cham: Springer International Publishing, 2020.

MLA Citation

Peltier, Nicolas, and Viorica Sofronie-Stokkermans. Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. 1st ed. 2020. Cham: Springer International Publishing, 2020.

Warning: These citations may not always be 100% accurate.