Ir para o conteúdo
GovBR

Método de Tableaux Modal para Lógica Modal Epistêmica com Operador de Conhecimento Comum

Informações:

Publicações do PESC

Título
Método de Tableaux Modal para Lógica Modal Epistêmica com Operador de Conhecimento Comum
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
9/12/2005
Resumo
Abstract
Arquivo
Topo
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.