Una logica no estandard admisible para programas funcionales

Tesis doctoral de Ana Gil Luezas

 

Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas funcionales«

  • Título de la tesis:  Una logica no estandard admisible para programas funcionales
  • Autor:  Ana Gil Luezas
  • Universidad:  Complutense de Madrid
  • Fecha de lectura de la tesis:  01/01/1990

 

Dirección y tribunal

  • Director de la tesis
  • Tribunal
    • Presidente del tribunal: Prida De Carlos José Fernandez
    • María Manzano Arjona (vocal)
    • José Luis Balcazar Navarro (vocal)
    • Fernando Orejas Valdés (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio