María José Hidalgo Doblado

• Colaboraciones en obras colectivas (2)
• Tesis (1)

• Colaboraciones en obras colectivas

  • Seleccionado

    Formalización del razonamiento ecuacional en una lógica computacional

    José Antonio Alonso Jiménez , María José Hidalgo Doblado, Francisco Jesús Martín Mateos , José Luis Ruiz Reina

    Actas del Encuentro de Matemáticos Andaluces / coord. por Emilio Briales Morales , Alfonso Carriazo Rubio , Tomás Chacón Rebollo , Pedro Real Jurado , Alvaro Romero Jiménez, Vol. 2, 2001 (Comunicaciones), ISBN 84-472-0290-9, págs. 41-50

    
  • Seleccionado

    Sobre la enseñanza de la lógica

    José Antonio Alonso Jiménez , María José Hidalgo Doblado, Ángel Nepomuceno Fernández , Francisco José Salguero Lamillar

    Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.) , Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 6-9

    

• Tesis

  • Seleccionado

    Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos

    María José Hidalgo Doblado

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.) . Universidad de Sevilla (2004).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.