Style de citation APA

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

Style de citation Chicago

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

Style de citation MLA

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

Attention : ces citations peuvent ne pas être correctes à 100%.