Instituciones
Área de conocimientoPáginas webIdentificadores de autorPeriodo de publicación recogido
|
|
|
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza Muñiz, Inmaculada Pérez de Guzmán Molina, Emilio José Muñoz Velasco
Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 1, 2010, págs. 89-102
Una introducción a raíz cuadrada como número que representa ciertas distancias
Emilio José Muñoz Velasco, Joaquín Fernández Gago
Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, ISSN 1130-488X, Nº 18, 1994, págs. 28-31
Cercanía y despreciabilidad usando lógica con órdenes de magnitud
Alfredo Burrieza Muñiz, Emilio José Muñoz Velasco, Manuel Ojeda Aciego
Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno / coord. por Cristina Barés Gómez, Francisco José Salguero Lamillar, Fernando Soler Toscano, 2021, ISBN 9781848903586, págs. 21-34
A logic for order of magnitude reasoning with negligibility, non-closeness and distance
Alfredo Burrieza Muñiz, Emilio José Muñoz Velasco, Manuel Ojeda Aciego
XII Conferencia de la Asociación Española para la Inteligencia Artificial: (CAEPIA 2007). Actas / coord. por Daniel Borrajo Millán, Luis Castillo Vidal, Juan Manuel Corchado Rodríguez, Vol. 1, 2007, ISBN 978-84-611-8847-5, págs. 187-196
Proyectos de innovación resolución de problemas
Emilio José Muñoz Velasco, Joaquín Fernández Gago
Desarrollo profesional y docencia universitaria : proyecto de innovación en la Universidad / coord. por Manuel Cebrián de la Serna, 1999, ISBN 84-7496-746-5, págs. 207-210
Semántica funcional para lógicas temporales x modales: Definibilidad y teoremas de completitud
Emilio José Muñoz Velasco
Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.), Alfredo Burrieza Muñiz (dir. tes.). Universidad de Málaga (2003).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados