Knowledge base verification using algebraic graph transformations

Autores: Gabriel Valiente Feruglio
Lectura: En la Universitat de les Illes Balears ( España ) en 1995
Idioma: español
Tribunal Calificador de la Tesis: Nadal Batle Nicolau (presid.) , Llorenç Huguet Rotger (secret.) , Felipe Cucker Farkas (voc.) , Beatriz López Ibáñez (voc.) , Jordi Levy Díaz (voc.)
Texto completo no disponible (Saber más ...)