Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, ... Notes in Computer Science (3835), Band 3835)

von: Geoff Sutcliffe · Andrei Voronkov Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-30553-8 ISBN-10: 3-540-30553-X Springer · 2009