Computation Theory and Logic (Lecture Notes in Computer Science)

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

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

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

Computer Performance Engineering (Paperback) Lecture Notes in Computer Science

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Lecture Notes in Computer Science ALGORITHMS IN MODERN MATHEMATICS AND COMPUTER

Graph Transformation (Paperback) Lecture Notes in Computer Science (UK IMPORT)