Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... Notes in Computer Science (4790), Band 4790)

von Nachum Dershowitz Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-75558-6 ISBN-10: 3-540-75558-6 Springer · 2007