Communication Dans Un Congrès
Année : 1999
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03301149
Soumis le : mardi 27 juillet 2021-13:08:46
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03301149 , version 1
Citer
A. Rauzy, Lakhdar Saïs, Laure Brisoux. Calcul propositionnel : vers une extension du formalisme. Actes des Cinquièmes Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99), 1999, Lyon, France. pp.189-198. ⟨hal-03301149⟩
Collections
17
Consultations
0
Téléchargements