Cita APA (7a ed.)
Joe Hurd, T. M. Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Joe Hurd, Tom Melham. Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Joe Hurd, Tom Melham. Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Springer.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.