Communication Dans Un Congrès
Année : 2009
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940673
Soumis le : dimanche 2 février 2014-14:08:55
Dernière modification le : lundi 16 décembre 2024-15:38:54
Dates et versions
Identifiants
- HAL Id : hal-00940673 , version 1
Citer
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. A DPLL Proof Procedure for Propositional Iterated Schemata. ESSLLI'09 Workshop Structures and Deduction, 2009, Bordeaux, France. pp.24. ⟨hal-00940673⟩
145
Consultations
0
Téléchargements