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.
Trích dẫn kiểu ChicagoTPHOLs 2001 Edinburgh, Scotland), Richard J. Boulton, và 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, và 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.