Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science (3603), Band 3603)
von:
Joe Hurd ·
Tom Melham
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-28372-0
ISBN-10: 3-540-28372-2
Springer
· 2008
