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 metadatas

https://hal.univ-lorraine.fr/hal-02993251
Contributor : Didier Galmiche <>
Submitted on : Friday, November 6, 2020 - 5:13:57 PM
Last modification on : Sunday, November 8, 2020 - 3:27:58 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

8