APA-Zitierstil (7. Ausg.)

(1999). Theorem proving in higher order logics: 12th international conference, TPHOLs '99, Nice, France, September 14 - 17, 1999 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs '99, Nice, France, September 14 - 17, 1999 ; Proceedings. Berlin u.a: Springer, 1999.

MLA-Zitierstil (9. Ausg.)

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs '99, Nice, France, September 14 - 17, 1999 ; Proceedings. Springer, 1999.