Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science, Band 2514)
von:
Matthias Baaz
·
Andrei Voronkov
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-00010-5
ISBN-10: 3-540-00010-0
Springer
· 2009
