Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science (4732), Band 4732)

von Klaus Schneider Taschenbuch Details (Deutschland) ISBN: 978-3-540-74590-7 ISBN-10: 3-540-74590-4 Springer