skip to main content

Implementações de tableaux para raciocínio por aproximações

Dias, Wagner

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2002-10-31

Acesso online. A biblioteca também possui exemplares impressos.

Buscando em bases de dados remotas. Favor aguardar.