APA-Zitierstil (7. Ausg.)

(2000). Theorem proving in higher order logics: 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; proceedings. Springer. https://doi.org/10.1007/3-540-44659-1

Chicago-Zitierstil (17. Ausg.)

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000. https://doi.org/10.1007/3-540-44659-1.

MLA-Zitierstil (9. Ausg.)

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000 ; Proceedings. Springer, 2000. https://doi.org/10.1007/3-540-44659-1.