Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science (2250), Band 2250)
von:
Robert Nieuwenhuis
·
Andrei Voronkov
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-42957-9
ISBN-10: 3-540-42957-3
Springer
· 2001
