Inmaculada Pérez de Guzmán Molina

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.