Opzioni di iscrizione

MAC5728 - Tópicos em Lógica Computacional (2022)

Neste semestre, marcação de leis usando ontologias e lógica.
Gli ospiti non possono entrare in questo corso, per favore autenticati.