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)

von unknown

Taschenbuch

ISBN: 978-3-662-16933-9

ISBN-10: 3-662-16933-9

S. auch (eventuell von anderen Autoren):
2008	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, Band 1275)