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

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Lecture Notes in Computer Science Ser.: Numerical Computations: Theory and...

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

Moral Calculations: Game Theory, Logic, and Human Frailty (Lecture Notes in Com,

Lecture Notes in Computer Science Ser.: Internet and Distributed Computing...

Drawing Graphs: Methods and Models (Lecture Notes in Computer Science, 2025), ,

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