Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings / edited by Matthias Baaz, Andrei Voronkov.
Baaz, Matthias.
Voronkov, Andrei.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
online resource
englisch
9783540360780
Lecture notes in computer science ; 2514
Full Text
Description not available.