Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

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.: Computational Science and Its...

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

Lecture Notes in Computer Science Ser.: Integration of Constraint...

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Lecture Notes in Computer Science Ser.: Extending the Boundaries of Design...