Décision des problémes de compléments Associatifs-Commutatifs : thése /
Tesis (Doctorado en Informática) -- Département de Formation Doctorale en Informatique. Université Henri Poincaré, Nancy I, 1995
Saved in:
Main Author: | Moysset, Jean Luc 17552 |
---|---|
Format: | Texto biblioteca |
Language: | f |
Published: |
[s.l.] : Faculté des sciences,
1995
|
Subjects: | INFORMATICA, PROCESAMIENTO DE DATOS, PROGRAMAS DE COMPUTADORA, PROGRAMACION LOGICA, |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Programación lógica : explotación de los datos /
by: Warnier, Jean Dominique 1058
Published: (1979) -
Síntesis de programación lógica : los tratamientos y sus datos /
by: Warnier, Jean Dominique 1058
Published: (1975) -
Síntesis de programación lógica : práctica de la construcción de un conjunto de datos guía L.C.S. /
by: Warnier, Jean Dominique 1058
Published: (1977) -
La transformación de los programas /
by: Warnier, Jean Dominique 1058
Published: (1976) -
Outils pour la preuve par analogie : thése /
by: Curien, Régis 17629
Published: (1995)