APA (7th ed.) Citation

(2005). Theorem proving in higher order logics: 18th international conference, TPHOLs 2005, Oxford, UK, August 22 - 25, 2005 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22 - 25, 2005 ; Proceedings. Berlin [u.a.]: Springer, 2005.

MLA (9th ed.) Citation

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22 - 25, 2005 ; Proceedings. Springer, 2005.