Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
TESIS DOCTORAL NEGACION CONSTRUCTIVA PARA
 

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

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences