Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science (2850), Band 2850)
von:
Moshe Vardi
·
Andrei Voronkov
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-20101-4
ISBN-10: 3-540-20101-7
Springer
· 2008
