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 : mardi 27 août 2024-12:40:06
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
62
Consultations
0
Téléchargements