9th International Joint Conference on Automated Reasoning , IJCAR 2018 - Université de Lorraine Access content directly
Proceedings Year : 2018

9th International Joint Conference on Automated Reasoning , IJCAR 2018

Abstract

This volume contains the papers presented at the 9th International Joint Conference on Automated Reasoning , IJCAR 2018, held during July 14-17, 2018 in Oxford, UK, as part of the Federated Logic Conference, FLoC 2018.
No file

Dates and versions

hal-02993251 , version 1 (06-11-2020)

Identifiers

  • HAL Id : hal-02993251 , version 1

Cite

Didier Galmiche, Stephan Schulz, Roberto Sebastiani. 9th International Joint Conference on Automated Reasoning , IJCAR 2018. 9th International Joint Conference on Automated Reasoning IJCAR 2018, Oxford, United Kingdom. 10900, 2018, Lecture Notes in Artificial Intelligence. ⟨hal-02993251⟩
39 View
0 Download

Share

Gmail Facebook X LinkedIn More