APA Citation

Schneider, K., & Brandt, J. (2007). Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (1st ed. 2007.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Schneider, Klaus, and Jens Brandt. Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

MLA Citation

Schneider, Klaus, and Jens Brandt. Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. 1st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

Warning: These citations may not always be 100% accurate.