Maria Paula Antunes Abrantes Gouveia
pt
en
Aplicações da lógica à ciência da computação, incluindo lógica temporal, raciocínio abdutivo e combinação de lógicas. Sócia fundadora da
Sociedade Portuguesa de Lógica
e membro da comissão instaladora.
Apresentação
Contactos
Interesses Científicos
Publicações
Textos pedagógicos e disciplinas lecionadas
Orientação de teses
Organização de Eventos Científicos