research line of
- LLaRC - Laboratório de Lógica e Representação do Conhecimento Grupo de Pesquisa
- TecMF - Logical Reasoning Grupo de Pesquisa
Teoria das Categorias
Conceito
- Visão geral