O futuro da inteligência artificial: a estrutura lógica do argumento de Alan Turing
Realismo, subdeterminação e evidência não empírica: controvérsias filosóficas nos ...
A topologia na psicanálise de Jacques Lacan: o significante, o conjunto e o número
LOGPROB: lógica probabilística - fundamentos e aplicações computacionais