Calculo proposicional uma abordagem voltada a compreensao da linguagem prolog versao 1.0
Maria Carolina Monard M C Nicoletti; R H Noguchi
Sao Carlos Icmsc-Usp 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-835128 ) e outros locais(Acessar)