Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science (1125), Band 1125)

von: Joakim von Wright · Jim Grundy · John Harrison Taschenbuch Details (Deutschland) ISBN: 978-3-540-61587-3 ISBN-10: 3-540-61587-3 Springer · 1996