Similar Listings
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...