(1995). Higher order logic theorem proving and its applications: 8th international workshop Aspen Grove, UT, USA ; September 11 - 14, 1995 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA ; September 11 - 14, 1995 ; Proceedings. Berlin [u.a.]: Springer, 1995.
MLA-Zitierstil (9. Ausg.)Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA ; September 11 - 14, 1995 ; Proceedings. Springer, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.