Dpto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla



Grupos de investigación:

* Grupo de Computación Natural
* Grupo de Lógica Computacional
* Grupo de Lógica Matemática
Centros de investigación:

* Instituto de Matemáticas de la Universidad de Sevilla

Dpto. Ciencias de la Computación e Inteligencia Artificial