Une approche de synthèse pour la programmation logique et ses extensions
En utilisant des techniques issues de la démonstration automatique, nous proposons dans cette thèse un mécanisme d'exécution des programmes logiques adapté aux contraintes et à la programmation logique équationnelle. Cette méthode, qui utilise des techniques de simplification, peut être considé...
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Thèse et Mémoire papier |
| Hizkuntza: | Français |
| Argitaratua: |
1996.
|
| Gaiak: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A synthesis approach for logic programming and its extensions |