(2008). Theorem proving in higher order logics: 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; Proceedings. Berlin [u.a.]: Springer, 2008.
MLA-Zitierstil (9. Ausg.)Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; Proceedings. Springer, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.