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

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

Lecture Notes in Computer Science Ser.: Advanced Information Systems Engineering

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

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

Lecture Notes in Computer Science Ser.: Using Sophisticated Models in Resolution

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :

Lecture Notes in Computer Science Ser.: Learning Software Organizations : Method