Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings

Matthias Baaz Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings LPAR Lecture Notes in Computer Science 2514 Springer 2002 3-540-00010-0 db/conf/lpar/lpar2002.html