Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

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

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

Approximation and online algorithms Lecture notes in computer science ; Vol. 387

Directions in databases : proceedings. Lecture Notes in Computer Science ; Vol.

International Symposium on Programming Lecture notes in computer science ; Vol.

On the integration of algebraic functions. (=Lecture notes in computer science ;

Discrete Mathematical Structures fo..., Busby, Robert C