Um método simples de implementar linguagens lógicas
Antonio Eduardo Costa Pereira Maria Carolina Monard 1941-; Maria das Graças Volpe Nunes; Simpósio Fluminense de Lógica, Filosofia e Teoria da Ciência (2 1985 Niterói)
Anais 19851985
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1573367 ) e outros locais(Acessar)