Theorem Proving in Higher Order Logics

MLA

Schneider, Klaus, et al. Theorem Proving In Higher Order Logics. Springer Berlin Heidelberg, 2007.

APA

Schneider, K., Brandt, J., Kanade, T., & Kittler, J. (2007). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Chicago

Schneider, Klaus, Jens Brandt, Takeo Kanade, and Josef Kittler. Theorem Proving In Higher Order Logics. : Springer Berlin Heidelberg, 2007.