Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7180)
von:
Nikolaj Bjørner
·
Andrei Voronkov
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-28716-9
ISBN-10: 3-642-28716-6
Springer
· 2012
