Formal Aspects of Context
ABCD PBi
Formal Aspects of Context
Autor:
Dov M. Barwise, John Bonzon, Pierre Gabbay
Marcos Cavalcanti
;
Rolf Nossum
Editor:
Springer Netherlands
Data de criação/publicação:
2000
Idioma:
Inglês
Disponível na Biblioteca:
IME - Inst. Matemática e Estatística (QA860.C B723f )