Objectivos

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Mestrado Bolonha em Matemática e Aplicações

Dominar resultados e técnicas chave para estabelecer a decidibilidade de teorias de primeira ordem.