Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

von: Michael Rusinowitch · David Basin Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) EAN=ISBN-13: 978-3-540-22345-0 ISBN-10: 3-540-22345-2 Springer · 2008