TPHOLs 2001 Edinburgh, S., 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. Berlin ; New York: Springer.
Παραπομπή Chicago StyleTPHOLs 2001 Edinburgh, Scotland), Richard J. Boulton, και 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.
Παραπομπή MLATPHOLs 2001 Edinburgh, Scotland), Richard J. Boulton, και 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.