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

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 Voronkov
Mitwirkende
Herausgegeben vonMatthias Baaz
Herausgegeben vonAndrei Voronkov
Buchcover Logic for Programming, Artificial Intelligence, and Reasoning  | EAN 9783540360780 | ISBN 3-540-36078-6 | ISBN 978-3-540-36078-0

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 Voronkov
Mitwirkende
Herausgegeben vonMatthias Baaz
Herausgegeben vonAndrei Voronkov
Includes supplementary material: sn. pub/extras