%0 Conference Proceedings %T Calcul propositionnel : vers une extension du formalisme %+ Department of Engineering Cybernetics [Trondheim] (ITK NTNU) %+ Centre de Recherche en Informatique de Lens (CRIL) %A Rauzy, A. %A Saïs, Lakhdar %A Brisoux, Laure %< avec comité de lecture %B Actes des Cinquièmes Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99) %C Lyon, France %P 189-198 %8 1999 %D 1999 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G French %L hal-03301149 %U https://univ-artois.hal.science/hal-03301149 %~ UNIV-ARTOIS %~ CNRS %~ UPJV-MIS-GOC %~ CRIL