-
A caracterização da relação das lógicas não-monotônicas através de suas meta-propriedades,
Centro de Lógica - CLEHC/UNICAMP.
[10566]
-
A lógica proposicional clássica d. Um ponto de vista modal,
Centro de Lógica - UNICAMP.
[10548]
-
Críticalidade Auto-Organizada e Autômatos Celulares em Biologia,
Centro de Lógica - UNICAMP.
[10546]
-
Críticalidade Auto-Organização e Autômatos Celulares em Biologia,
Centro de Lógica - UNICAMP.
[10547]
-
Ensino da Lógica: Questões sobre a história da computabilidade,
Centro de Lógica.
[10544]
-
Lógica Condicional Forte,
Centro de Lógica - UNICAMP.
[10545]
-
O paradoxo da tradução lógica,
Campinas.
[9486]
-
Proof-Theoretical Methods Applied in Automated Deduction Systems,
.
[10542]
-
Translations between logics: overview and perspectives,
Centro de Lógica.
[10543]
-
Um cálculo de sequentes para uma lógica de default com base paraconsistente,
Centro de Lógica - CLEHC/UNICAMP.
[10571]
-
Uma semântica algébrica para lógicas de default com raciocínio crédulo,
Centro de Lógica - CLEHC/UNICAMP.
[10574]
-
XII Encontro Brasileiro de Lógica,
Itatiaia.
[10528]
-
É a verdade matemática racional?,
Cantro de Lógica - UNICAMP.
[10549]
