Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Notes in Computer Science (3452), Band 3452)

von: Franz Baader · Andrei Voronkov Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-25236-8 ISBN-10: 3-540-25236-3 Springer Berlin Heidelberg · 2008