(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.
Chicago Style CitationAutomated 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.
MLA CitationAutomated 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.
Warning: These citations may not always be 100% accurate.