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

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

Lecture Notes in Computer Science Ser.: Foundations of Security Analysis and...

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

Lecture Notes in Computer Science Ser.: Foundations of Software Science and...

Computation Theory and Logic (Lecture Notes in Computer Science)

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

Lecture Notes in Computer Science Ser.: Automated Deduction in Geometry