«de la teoria del significado en prawitz a la busqueda inteligente de pruebas: una aplicacion del teorema de inversion a la inteligencia artificial».

Tesis doctoral de Martinez Vidal M. Concepcion

Datos académicos de la tesis doctoral ««de la teoria del significado en prawitz a la busqueda inteligente de pruebas: una aplicacion del teorema de inversion a la inteligencia artificial».«

• Título de la tesis:  «de la teoria del significado en prawitz a la busqueda inteligente de pruebas: una aplicacion del teorema de inversion a la inteligencia artificial».
• Autor:  Martinez Vidal M. Concepcion
• Universidad:  Universitat de valéncia (estudi general)
• Fecha de lectura de la tesis:  01/01/1989

Dirección y tribunal

• Director de la tesis
• Tribunal
  • Presidente del tribunal: Manuel Garrido Jimenez
  • Luis Villegas Forero (vocal)
  • María Manzano Arjona (vocal)
  • Larrazabal Antia Jesús María (vocal)