9th International Joint Conference on Automated Reasoning , IJCAR 2018 - Université de Lorraine Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2018

9th International Joint Conference on Automated Reasoning , IJCAR 2018

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02993251 , version 1

Citer

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⟩
37 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More