APA (7th ed.) Citation

TPHOLs 2001 Edinburgh, Scotland, Boulton, R. J., & Jackson, P. B. (2001). Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TPHOLs 2001 Edinburgh, Scotland, Richard J. Boulton, and Paul B. Jackson. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : Proceedings. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

TPHOLs 2001 Edinburgh, Scotland, et al. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : Proceedings. Springer, 2001.