AP24 Redução
13 dezembro 2018, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Problema da consequência semântica em lógica proposicional e redução do problema da terminação de programas a este problema.
13 dezembro 2018, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Problema da consequência semântica em lógica proposicional e redução do problema da terminação de programas a este problema.