APA引文

Hurd, J., & Melham, T. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Hurd, Joe, và Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

MLA引文

Hurd, Joe, và Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.

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