00694nam a2200205 4500 1/399 990315s1996 enk 000 eng d 413 DLC GR-PeUP 006.3'3 AL Alferes, Jose Julio. Reasoning with logic programming/ Jose Julio Alferes, Luis Moniz Pereira Berlin: Springer, 1996. 326p.: fig.; 23εκ. Lecture Notes in Artificial Intelligence ; Logic Programming. Reasoning. Pereira, Luis Moniz. Lecture Notes in Artificial Intelligence ; 1111 INST UNIPILB MAIN 20040709 006.3'3 AL 00130596 00130596 LOAN 0 1