Communication Dans Un Congrès
Année : 1995
Hal Lifl : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00732012
Soumis le : jeudi 13 septembre 2012-17:19:22
Dernière modification le : vendredi 31 mai 2024-18:32:03
Dates et versions
Identifiants
- HAL Id : hal-00732012 , version 1
Citer
Olivier Roussel, Philippe Mathieu. Evaluation des méthodes d'achèvement par parties. Actes des Journées Francophones de Programmation Logique (JFPL'95), 1995, undef, France. pp.175--189. ⟨hal-00732012⟩
Collections
195
Consultations
0
Téléchargements