Lógicas modais proposicionais : estudos, proposta de tableaux para lógica modal epistêmica com operador de conhecimento comum e implementação de provadores automáticos /

Na minha lista:
Detalhes bibliográficos
Main Authors: Pinto, Paulo Coelho Ventura., Benevides, Mário Roberto Folhadela, Universidade Federal do Rio de Janeiro.
Formato: Livro
Idioma:Português
Publicado em: UFRJ/IM, 2004
Assuntos:
Lógica modal.
Lógica epistêmica.
Inteligência artificial.
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000628790&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados