- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Libros (Ciencias de la Computación e Inteligencia Artificial)
- Listar Libros (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Libros (Ciencias de la Computación e Inteligencia Artificial) por autor "Borrego Díaz, Joaquín"
Mostrando ítems 1-5 de 5
-
Libro
Curso Práctico de Teoría de Conjuntos
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Pérez Jiménez, Mario de Jesús; Ruiz Reina, José Luis (Ediciones La Ñ, 1998)Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, ...
-
Libro
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Kronos, 2002)Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog ...
-
Libro
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía (Fidetia, 2014) -
Libro
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Junta de Andalucía (Fidetia, 2015) -
Libro
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
Miguel Rodríguez, Jaime de; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando; Aranda Corral, Gonzalo A.; Domínguez Sánchez de la Blanca, Ismael; Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial; Ministerio de Economía y Competitividad (MINECO). España (Fidetia, 2016)