APA Zitierstil

Schneider, K., & Brandt, J. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Chicago Zitierstil

Schneider, Klaus, und Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

MLA Zitierstil

Schneider, Klaus, und Jens Brandt. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.