APA引文

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

Trích dẫn kiểu Chicago

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

MLA引文

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

警告：这些引文格式不一定是100％准确.