Negation and control in Prolog. Lecture notes in computer science ; Vol. 238 Nai

Computation Theory and Logic (Lecture Notes in Computer Science)

Automata, languages and programming; Lecture notes in computer science ; 115 Eve

Automata, languages and programming; Lecture notes in computer science ; 226 Kot

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

Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Ban

Hybrid Neural Systems: 1778 (Lecture Notes in Computer Science,

Simple program schemes and formal languages. Lecture notes in computer science ;