Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... Notes in Computer Science (5330), Band 5330)
von
Iliano Cervesato
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-89438-4
ISBN-10: 3-540-89438-1
Springer
· 2008
