A carregar...

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

Na minha lista:
Detalhes bibliográficos
Main Authors: Wassermann, Renata., Instituto de Matemática e Estatística., Departamento de Ciência da Computação., Silva, Flávio Soares Corrêa da.
Formato: Livro
Idioma:Inglês
Publicado em: USP/IME, 1994
Colecção:RT-MAC ;
Assuntos:
Acesso em linha:https://minerva.ufrj.br/F/?func=direct&doc_number=000041572&local_base=UFR01
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!