N°Spécial De Revue/Special Issue
Journal of Automated Reasoning
Année : 2017
Stéphane Demri : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03192247
Soumis le : mercredi 7 avril 2021-19:58:12
Dernière modification le : mardi 30 juillet 2024-10:24:03
Dates et versions
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⟩
Collections
24
Consultations
0
Téléchargements