Now showing items 1-5 of 5

    • Book
      Icon

      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
      Icon

      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
      Icon

      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
      Icon

      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
      Icon

      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)