CALL FOR PAPERS
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018.
CALL FOR PAPERS
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018.
CALL FOR PAPERS
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018. http://www.floc2018.org