SCHNEIDER, Klaus und BRANDT, Jens (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540745914.
Elsevier - Harvard (with titles)Schneider, K., Brandt, J. (Hrsg.), 2007. Theorem Proving in Higher Order Logics : 20 th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-540-74591-4
American Psychological Association 7th editionSchneider, K., … Brandt, J. (Hrsg.). (ca. 2007). Theorem Proving in Higher Order Logics : 20 th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-74591-4
Springer - Basic (author-date)Schneider K, Brandt J (Hrsg.) (2007) Theorem Proving in Higher Order Logics : 20 th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Schneider, Klaus/ Brandt, Jens (Hrsg.), Theorem Proving in Higher Order Logics : 20 th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings, Theoretical Computer Science and General Issues 2007, .