Theorem Proving in Higher Order Logics

MLA

Mohamed, Otmane Ait, et al. Theorem Proving In Higher Order Logics. Springer Berlin Heidelberg, 2008.

APA

Mohamed, O. Ait, Ait Mohamed, O., Kanade, T., Muñoz, C., Muñoz, C. A, Tahar, S., & Kittler, J. (2008). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.

Chicago

Mohamed, Otmane Ait, Otmane Ait Mohamed, Takeo Kanade, César Muñoz, César A Muñoz, Sofiène Tahar, and Josef Kittler. Theorem Proving In Higher Order Logics. : Springer Berlin Heidelberg, 2008.