AT23 Problemas de Decisão em Matemática (aula online)

17 dezembro 2020, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Problema da coloração de grafos finitos. Problema da consequência semântica em Lógica Proposicional.