9th International Joint Conference on Automated Reasoning , IJCAR 2018 - Université de Lorraine
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.

Domaines

Informatique [cs]

Didier GALMICHE  : Connectez-vous pour contacter le contributeur

https://hal.univ-lorraine.fr/hal-02993251

Soumis le : vendredi 6 novembre 2020-17:13:57

Dernière modification le : mardi 19 mars 2024-09:34:06

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LORIA-FM
44 Consultations
0 Téléchargements

Partager

More