O método dos tableaux generalizado e sua aplicação ao raciocínio automático em lógicas não clássicas

Conteúdo do artigo principal

Arthur Buchsbaum
Tarcisio Pequeno

Detalhes do artigo

Seção
Artigos