(1997). Theorem proving in higher order logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; Proceedings. Berlin [u.a.]: Springer, 1997.
MLA-Zitierstil (9. Ausg.)Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997 ; Proceedings. Springer, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.