Communication Dans Un Congrès
Année : 2003
Mireille Ducassé : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00756836
Soumis le : vendredi 23 novembre 2012-18:38:52
Dernière modification le : vendredi 24 mars 2023-14:52:56
Dates et versions
Identifiants
- HAL Id : hal-00756836 , version 1
Citer
Ludovic Langevine, Mireille Ducassé. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. International Conference on Logic Programming, 2003, Mumbay, India. ⟨hal-00756836⟩
Collections
112
Consultations
0
Téléchargements