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

researchr

You are not signed in
Sign in
Sign up

Matthias Baaz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings. Volume 2514 of Lecture Notes in Computer Science, Springer, 2002.

Conference: lpar2002

runs on WebDSL