Communication Dans Un Congrès
Année : 2006
Christophe Ringeissen : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00117399
Soumis le : vendredi 1 décembre 2006-14:47:45
Dernière modification le : jeudi 1 février 2024-10:04:40
Dates et versions
Identifiants
- HAL Id : inria-00117399 , version 1
Citer
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Producing Conflict Sets for Combination of Theories. Workshop on Pragmatics of Decision Procedures in Automated Reasoning - PDPAR 2006, Aug 2006, Seattle, WA/USA. ⟨inria-00117399⟩
Collections
34
Consultations
0
Téléchargements