Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science (2083), Band 2083)

von: Tobias Nipkow · Alexander Leitsch · Rajeev Gore Taschenbuch Details (Deutschland) ISBN: 978-3-540-42254-9 ISBN-10: 3-540-42254-4 Springer · 2008