Lecture Notes in Computer Science Ser.: Logic-Based Program Synthesis and...

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

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

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Computer Networking: A Top-Down Approach (6th Edition) Kurose, James F.|Ross...

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

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

Lecture Notes in Computer Science Ser.: Information Security : Proceedings of...