APA-Zitierstil (7. Ausg.)

(2002). Theorem proving in higher order logics: 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2002.

MLA-Zitierstil (9. Ausg.)

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002 ; Proceedings. Springer, 2002.