Francisco Jesús Martín Mateos

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

• Colaboraciones en obras colectivas

  • Topología Simplicial en ACL2

    Laureano Lambán Pardo , Francisco Jesús Martín Mateos, José Luis Ruiz Reina

    Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo , Ana Romero Ibáñez , Julio Rubio García , 2010, ISBN 978-84-96487-50-5, págs. 1-20

    • Texto completo
    

• Tesis

  • Teoría computacional (en ACL2) sobre cálculos proposicionales

    Francisco Jesús Martín Mateos

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

    • Resumen
    • Texto completo
    

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 toda 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.