APA (7th ed.) Citation

SpringerLink (Online service), Slind, K., Bunker, A., & Gopalakrishnan, G. C. (2004). Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (1st ed. 2004.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b100400

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Konrad Slind, Annette Bunker, and Ganesh C. Gopalakrishnan. Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. 1st ed. 2004. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b100400.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. 1st ed. 2004. Springer Berlin Heidelberg : Imprint: Springer, 2004. https://doi.org/10.1007/b100400.