Special Issue of Journal of Automated Reasoning - IJCAR 2018 - Université de Lorraine
Ouvrages Année : 2020

Special Issue of Journal of Automated Reasoning - IJCAR 2018

Domaines

Informatique [cs]

Didier GALMICHE  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 13 novembre 2020-15:39:28

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

Fichier non déposé

Dates et versions

hal-03004284 , version 1 (13-11-2020)

Identifiants

  • HAL Id : hal-03004284 , version 1

Citer

Didier Galmiche, Stephan Schulz, Roberto Sebastiani. Special Issue of Journal of Automated Reasoning - IJCAR 2018. 64 (7), 2020, Journal of Automated Reasoning. ⟨hal-03004284⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More