Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science (1869), Band 1869)

von: John Harrison · Mark Aagaard Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-67863-2 ISBN-10: 3-540-67863-8 Springer · 2008