Results
Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
© 2000
Soft cover - Print (ISBN: 978-3-540-67863-2)
Electronic (ISBN: 978-3-540-44659-0)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-44659-0