Reasoning with Logic Programming Paperback

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic Programmi

Mathematical Foundation of Programming Semantics, Lecture Notes Computer Science

Lecture Notes in Computer Science Ser.: Formal Methods Teaching : 6th Formal...

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Foundations of inductive logic programming. Lecture notes in computer science ;

Computation Theory and Logic (Lecture Notes in Computer Science) 270