- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Libros (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Libros (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Libros (Ciencias de la Computación e Inteligencia Artificial) by Author "Borrego Díaz, Joaquín"
Now showing items 1-5 of 5
-
Book
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, ...
-
Book
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 ...
-
Book
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) -
Book
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) -
Book
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)