Communication Dans Un Congrès
Année : 1997
Sébastien Limet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00809530
Soumis le : mardi 9 avril 2013-15:07:57
Dernière modification le : vendredi 27 janvier 2023-16:08:04
Dates et versions
Identifiants
- HAL Id : hal-00809530 , version 1
Citer
Sébastien Limet, Frédéric Saubion. On Partial Validation of Logic Programs. AMAST 1997, 1997, Sidney, Australia. pp.365-379. ⟨hal-00809530⟩
Collections
41
Consultations
0
Téléchargements