Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings (Lecture Notes in Computer Science (2410), Band 2410)

Proceedings

von: Victor A. Carreño · César A. Muñoz · Sofiène Tahar

Taschenbuch

Details (Deutschland)

Details (Italien)
(siehe auch: Copertina flessibile)

Details (Spanien - España)
(siehe auch: Tapa blanda)

ISBN-13: 978-3-540-44039-0

ISBN-10: 3-540-44039-9

Springer · 2009