00860cam a2200241 4500 1/402 971202s1996 enk 001 0 eng d 3540614885 416 005.115 AL. Alferes, Jose Julio. Reasoning with Logic Programming / Jose Julio Alferes; Luis MonizPereira. Berlin: Springer, 1996. 327 p.: fig.; 22 cm. Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence ; Logic (Reasoning). Logic Programming. Pereira, Luis Moniz. Lecture Notes in Artificial Intelligence ; 1111 Lecture Notes in Computer Science. INST UNIPILB MAIN 20040719 005.115 AL. 00127406 00127406 LOAN 0 1 /webopac/covers/02/416_3540614885.jpg