Cita APA

(2018). Automated reasoning: 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings.

Citación estilo Chicago

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. 2018.

Cita MLA

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. 2018.