Communication Dans Un Congrès
Année : 1997
Hal Lifl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00732026
Soumis le : jeudi 13 septembre 2012-17:21:14
Dernière modification le : mercredi 24 janvier 2024-09:54:21
Dates et versions
Identifiants
- HAL Id : hal-00732026 , version 1
Citer
Olivier Roussel, Philippe Mathieu. Une compilation logique exacte en calcul des prédicats : le cas de l'achèvement total. Actes de la 3ème conférence nationale sur la résolution pratique de problèmes NP-complets (JNPC'97), 1997, undef, France. pp.61--66. ⟨hal-00732026⟩
Collections
205
Consultations
0
Téléchargements