APA Citation

Carreño, V. A., Muñoz, C. A., & Tahar, S. (2002). Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.

Chicago Style Citation

Carreño, Victor A., César A. Muñoz, and Sofiène Tahar. Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.

MLA Citation

Carreño, Victor A., César A. Muñoz, and Sofiène Tahar. Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002.