Towards efficient modelling of distributed knowledge using equational and order-sorted logic

Renata Wassermann Flávio Soares Corrêa da Silva

Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1994 v.11 e.1 ) e outros locais(Acessar)

Título:
Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Autor: Renata Wassermann
Flávio Soares Corrêa da Silva
Assuntos: TEORIA DO CONHECIMENTO; LÓGICA; SISTEMAS DISTRIBUÍDOS
Notas: Disponível em: https://repositorio.usp.br/directbitstream/c61cf59b-095a-46e1-b424-da1a3646cb1a/869410.pdf. Acesso em: 20 out. 2023
Notas Locais: RT-MAC-9411
Editor: São Paulo IME-USP
Data de criação/publicação: 1994
Formato: 11 p.
Idioma: Inglês

Links

Voltar para lista de resultados