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é...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Thèse et Mémoire papier |
| Sprog: | Français |
| Udgivet: |
1996.
|
| Fag: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | A synthesis approach for logic programming and its extensions |
Orléans - BU Sciences Technologies STAPS
| Sted | Klassifikationsnummer | Type de prêt | Status | |
|---|---|---|---|---|
| Magasin | TS 19-1996-50b |
A consulter sur place
|
||
| Magasin | TS 19-1996-50 | Tilgængelig |