
×
Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
herausgegeben von Matthias Baaz und Andrei VoronkovIncludes supplementary material: sn. pub/extras