TPHOLs 2000 Portland, Or., Aagaard, M., & Harrison, J. (2000). Theorem proving in higher order logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings. Springer.
Chicago Style (17th ed.) CitationTPHOLs 2000 Portland, Or., Mark Aagaard, and J. Harrison. Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : Proceedings. Berlin ; Heidelberg ; New York: Springer, 2000.
MLA (9th ed.) CitationTPHOLs 2000 Portland, Or., et al. Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : Proceedings. Springer, 2000.
Warning: These citations may not always be 100% accurate.