- Catedrática de Matemática Aplicada. ETSI Informática, Universidad de Málaga
Docencia en Lógica Computacional y Gestión Inteligente de la Información
Líneas de Investigación: Métodos formales en Computación. Fundamentos Algebraicos. Razonamiento automático en
lógica clásica. Razonamiento automático en lógicas no clásicas: multivaluadas, modales, temporales y difusas.
Experience
-
–presentCatedrática de Matemática Aplicada. ETSI Informática Universidad de Málaga, Universidad de Málaga
Education
-
1975Universidad de Málaga, Doctora en Matemáticas
Contact Inmaculada for
- General
- Media request
- Speaking request
- Consulting / Advising
- Research collaboration
- Research supervision
- Article Feed
- Joined