Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... Notes in Computer Science, Band 8312)

von: Ken McMillan · Aart Middeldorp · Andrei Voronkov Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-642-45220-8 ISBN-10: 3-642-45220-5 Springer · 2013