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)

Proceedings

von: John Harrison · Mark Aagaard

Taschenbuch

EAN=ISBN-13: 978-3-540-67863-2

ISBN-10: 3-540-67863-8

Springer · 2008