Homepage

|
Research

|
Teaching

|
About

|
|
|
Links
- UPV - Technical University of Valencia
- DSIC - Departamento de Sistemas
Informáticos y Computación
- ELP - Extensions of Logic
Programming group - Valencia
- Università di Udine
- DIMI - Dipartimento di Matematica
e Informatica
- CLG - Computational Logic
Group - Udine
|
Last
Update: July 2007
|