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)

von Otmane Ait Mohamed Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) ISBN: 978-3-540-71065-3 ISBN-10: 3-540-71065-5 Springer · 2008