UNIFICATION DANS LA PROGRAMMATION LOGICO-EQUATIONNELLE
L'OBJECTIF DE CETTE THESE EST D'AMELIORER LA TERMINAISON DE L'UNIFICATION SEMANTIQUE AFIN D'AUGMENTER LA DECLARATIVITE DES IMPLANTATIONS DES LANGAGES LOGICO-EQUATIONNELS. L'UNIFICATION SEMANTIQUE ETANT INDECIDABLE, IL EST IMPOSSIBLE DE RESOUDRE CE PROBLEME DE MANIERE DEFINIT...
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado: |
[S.l.] :
[s.n.]
1996.
|
| Sujets: | |
| Nota: |
1996ORLE2068 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | UNIFICATION IN EQUATIONNAL LOGIC PROGRAMMING |
Orléans - BU Sciences Technologies STAPS
| Localización | Número de Clasificación | Type de prêt | Statut | |
|---|---|---|---|---|
| Magasin | TS 19-1996-68b |
A consulter sur place
|
||
| Magasin | TS 19-1996-68 |
A consulter sur place
|