HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Directions of work or proceedings

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.
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.univ-lorraine.fr/hal-02993251
Contributor : Didier Galmiche Connect in order to contact the contributor
Submitted on : Friday, November 6, 2020 - 5:13:57 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:48 AM

Identifiers

  • HAL Id : hal-02993251, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

25