Induction de clauses contraintes.
Résumé
No abstract provided
Communication Dans Un Congrès
Année : 1996
Marc Bonnet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00116422
Soumis le : dimanche 26 novembre 2006-21:28:25
Dernière modification le : jeudi 30 novembre 2023-14:58:03
Dates et versions
Identifiants
- HAL Id : hal-00116422 , version 1
Citer
Michèle Sebag, C. Rouveirol. Induction de clauses contraintes.. 1996, pp.706-716. ⟨hal-00116422⟩
Collections
56
Consultations
0
Téléchargements