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 : mercredi 24 janvier 2024-09:54:21
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
194
Consultations
0
Téléchargements