1
Published 2013
Springer Berlin Heidelberg
...This book constitutes the proceedings of the 14th International Workshop on Computational Logic...

2
by Dix, Jürgen
Published 2004
Springer-Verlag Berlin/Heidelberg

3
by Dix, Jürgen
Published 2004
Springer-Verlag Berlin/Heidelberg

4
Published 2005
Springer Berlin Heidelberg
... of computational logic based systems, while at the same time sign- cantly gaining from decades of research...

5
Published 2005
Springer Berlin Heidelberg
... has recently increased its in?uence in the research and development of computational logic-based...