Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes in Computer Science (5170), Band 5170)

Proceedings

von Otmane Ait Mohamed

Taschenbuch

ISBN: 978-3-540-71065-3

ISBN-10: 3-540-71065-5

Springer · 2008