Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov.
Fermüller, Christian G.
Voronkov, Andrei.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
online resource
englisch
9783642162428
Lecture notes in computer science ; 6397
Full Text
Description not available.