Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, Band 1275)
von:
Amy Felty
·
Elsa L. Gunter
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-63379-2
ISBN-10: 3-540-63379-0
Springer
· 2008
Siehe auch:
Taschenbuch
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science) (2008-06-13)
