APA Citation

(2020). Automated reasoning: 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings.

Chicago Style Citation

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. 2020.

MLA Citation

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. 2020.

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