Results
Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
© 2002
Soft cover - Print (ISBN: 978-3-540-44039-0)
Electronic (ISBN: 978-3-540-45685-8)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-45685-8