Francisco Jesús Martín Mateos

• Colaboraciones en obras colectivas (5)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (2)

• Colaboraciones en obras colectivas

  • Seleccionado

    Towards a verifiable Topology of Data

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

    XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 / coord. por Jónathan Heras Vicente , Ana Romero Ibáñez , 2016, ISBN 978-84-608-9024-9, págs. 113-116

    • Texto Completo Libro
    
  • Seleccionado

    Sensorización y control de un proceso de mecanizado utilizando un sistema experto basado en reglas.

    Rafael Serrano Bello, Carlos González Valencia, Francisco Jesús Martín Mateos

    Comunicaciones presentadas al XIV Congreso Internacional de Ingeniería de Proyectos: Madrid 30 de junio, 1 y 2 de julio de 2010, 2010, ISBN 978-84-614-2607-2

    • Texto Completo Libro
    
  • Seleccionado

    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 ; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 1-19

    • Texto completo
    
  • Seleccionado

    Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso

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

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 7-14

    
  • 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

    

• Libros

  • Seleccionado

    Future and Emerging Trends in Language Technology. Machine Learning and Big Data: Second International Workshop, FETLT 2016, Seville, Spain, November 30 –December 2, 2016, Revised Selected Papers

    José Francisco Quesada Moreno (ed. lit.) , Francisco Jesús Martín Mateos (ed. lit.), María Teresa López Soto (ed. lit.)

    Springer International Publishing AG, 2017. ISBN 978-3-319-69364-4

    • Resumen
    
  • Seleccionado

    Future and Emergent Trends in Language Technology: First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers

    José Francisco Quesada Moreno (ed. lit.) , Francisco Jesús Martín Mateos (ed. lit.), María Teresa López Soto (ed. lit.)

    Springer International Publishing AG, 2016. ISBN 978-3-319-33500-1

    • Resumen
    

• Tesis

  • Seleccionado

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

    Francisco Jesús Martín Mateos

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

    • Resumen
    • Tesis en acceso abierto en: Idus
    

• Tesis dirigidas

  • Seleccionado

    Data-driven decision-making and its application to the corporate cash management problem

    Francisco Salas Molina

    Tesis doctoral dirigida por Pablo Díaz García (dir. tes.) , Juan A. Rodríguez Aguilar (dir. tes.) , Francisco Jesús Martín Mateos (dir. tes.). Universitat Politècnica de València (2017).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    
  • Seleccionado

    Formalización en isar de la metalógica de primer orden

    Fabián Fernando Serrano Suárez

    Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.) , Francisco Jesús Martín Mateos (dir. tes.). Universidad de Sevilla (2012).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

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.