Instituciones
Área de conocimientoPáginas webIdentificadores de autorPeriodo de publicación recogido
|
|
|
Análisis de la tasa de abandono en un Centro con varios Grados en Ingeniería Informática
David Ruiz Cortés, Francisco de Asís Gómez Rodríguez, José Luis Ruiz Reina
Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 2, 2017 (Ejemplar dedicado a: Actas de las XXIII Jornadas sobre Enseñanza Universitaria de la Informática (Cáceres, 5, 6 y 7 de julio de 2017) / coord. por Alberto Gómez Mancha, Roberto Rodríguez Echeverría), ISBN 978-84-697-4267-9
A verified Common Lisp implementation of Buchberger's algorithm in ACL2
Inmaculada Medina Bulo, Francisco Palomo Lozano, José Luis Ruiz Reina
Journal of symbolic computation, ISSN 0747-7171, Vol. 45, Nº 1, 2010, págs. 96-123
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
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
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
Efficient execution in an automated reasoning environment
José Luis Ruiz Reina, David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Moore, Sandip Ray, Robert Sumners, Daron Vroon, Matthew Wilding
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. 181-182
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
Prueba por consistencia de teoremas inductivos: inducción sin inducción
Manuel Emilio Gegúndez Arias, José Luis Ruiz Reina
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide, 1994, ISBN 84-477-0396-7, págs. 597-606
José Luis Ruiz Reina
Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.). Universidad de Sevilla (2001).
Verificación formal en ACL2 del Algoritmo de Buchberger
Tesis doctoral dirigida por José Antonio Alonso Jiménez (dir. tes.), José Luis Ruiz Reina (dir. tes.). Universidad de Sevilla (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