Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées

Fichier non déposé

Dates et versions

hal-00192926 , version 1 (29-11-2007)

Identifiants

  • HAL Id : hal-00192926 , version 1

Citer

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis. Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées. 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle(RFIA'06), Jan 2006, Tours, France. pp.Actes électroniques. ⟨hal-00192926⟩
22 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More