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

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 9783540000105 | ISBN 3-540-00010-0 | ISBN 978-3-540-00010-5

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