Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Renata Wassermann Flávio Soares Corrêa da Silva
São Paulo IME-USP 1994
Localização:
IME - Inst. Matemática e Estatística
(IME-RT-C QA700.RT I59c 1994 v.11 e.1 ) e outros locais(Acessar)