[Back]


Books and Book Editorships:

C. Fermüller, A. Voronkov:
"Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17";
in series "LNCS", series editor: G. Goos, J. Hartmanis, J. van Leeuwen; Springer, Heidelberg, 2010, ISBN: 978-3-642-16241-1, 656 pages.



Electronic version of the publication:
http://www.springer.com/computer/ai/book/978-3-642-16241-1


Created from the Publication Database of the Vienna University of Technology.