Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in . . . / ... Notes in Computer Science (5195), Band 5195)

von Alessandro Armando Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-71069-1 ISBN-10: 3-540-71069-8 Springer · 2008