1
2
3
5
6
Assuntos:
“...Tableaux analíticos...”
A lógica da verdade pragmática em um sistema de tableaux
Dissertação
7
“... de quadros, os quais foram integrados formando um ambiente chamado Tableau. Tableau é um ambiente amigável...”
Tableau: um ambiente para processamento de imagens de quadros didáticos
Dissertação
9
12
Assuntos:
“...Tableau de Young...”
Combinatória das representações irredutíveis do grupo simétrico
Dissertação
13
Assuntos:
“...Método dos tableaux...”
Um método dos tablôs por prova direta para a lógica clássica
Dissertação
14
15
Assuntos:
“...Tableaux...”
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
Dissertação
16
“.... We prove the soundness and completeness of our system, also demonstrating its use. Then, a tableaux method...”
A tableaux method for dolev-yao multi-agent epistemic logic
Dissertação
17
18
Assuntos:
“...Positive tableaux...”
Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
Dissertação