| | |
Summary: TESIS DOCTORAL
NEGACION CONSTRUCTIVA PARA
PROGRAMACION LOGICA-ECUACIONAL
Memoria presentada por Mara Jose Ramrez Quintana
para la obtencion del grado de Doctor en Informatica
por la Universidad Politecnica de Valencia
Valencia, Noviembre de 1993
NEGACION CONSTRUCTIVA PARA PROGRAMACION
LOGICA-ECUACIONAL
Tesis Doctoral en Informatica presentada por
Mara Jose Ramrez Quintana
Licenciada en Ciencias Fsicas por la Universidad de Valencia
Directores:
Prof. Dr. Giorgio Levi Prof. Dr. Isidro Ramos Salavert
Universita di Pisa U. Politecnica de Valencia
Tribunal de Lectura:
Presidente: Prof. Dr. Fernando Orejas Valdes U. Politecnica de Catalu~na
Vocales: Prof. Dr. Mario Rodriguez Artalejo U. Complutense de Madrid
|
