Communication Dans Un Congrès
Année : 2005
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00014629
Soumis le : lundi 28 novembre 2005-16:19:58
Dernière modification le : mercredi 20 septembre 2023-15:36:05
Dates et versions
Identifiants
- HAL Id : hal-00014629 , version 1
Citer
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis. Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conferencep, 2005, Pittsburg, United States. pp.288. ⟨hal-00014629⟩
Collections
34
Consultations
0
Téléchargements