Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.