Special Issue of Selected Extended Papers of IJCAR 2014 - Archive ouverte HAL Accéder directement au contenu
N°Spécial De Revue/Special Issue Journal of Automated Reasoning Année : 2017
Fichier non déposé

Dates et versions

hal-03192247 , version 1 (07-04-2021)

Identifiants

  • HAL Id : hal-03192247 , version 1

Citer

Stéphane Demri, Deepak Kapur, Christoph Weidenbach. Special Issue of Selected Extended Papers of IJCAR 2014. Journal of Automated Reasoning, 58 (1), 2017. ⟨hal-03192247⟩
24 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More