APA (7th ed.) Citation

TPHOLs Kaiserslautern, Germany, SpringerLink (Online service), Brandt, J., & Schneider, K. (2007). Theorem proving in higher order logics: 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings. Springer. https://doi.org/10.1007/978-3-540-74591-4

Chicago Style (17th ed.) Citation

TPHOLs Kaiserslautern, Germany, SpringerLink (Online service), Jens Brandt, and Klaus Schneider. Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; Proceedings. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-74591-4.

MLA (9th ed.) Citation

TPHOLs Kaiserslautern, Germany, et al. Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-74591-4.