João Santos Reis
João Santos Reis
Home
Teaching
Computational Logic (2022)
Contact
Light
Dark
Automatic
Page not found
Perhaps you were looking for one of these?
Latest
Example Talk
Problema A - Representação de funções booleanas sob a forma de fórmulas de lógica proposicional FND/FNC
Computational Logic (2021/2022)
Welcome to Wowchemy, the website builder for Hugo
Slides
Slides
Projects
Example Project
An example conference paper
Teachings
Cite
×