APA (7th ed.) Citation

(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

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

MLA (9th ed.) Citation

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.