Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science (2152), Band 2152)
von:
Richard J. Boulton · Paul B. Jackson
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-42525-0
ISBN-10: 3-540-42525-X
Springer
· 2008
