APA Citation

Grundy, J., & Newey, M. (1998). Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (1st ed. 1998.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Grundy, Jim, and Malcolm Newey. Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. 1st ed. 1998. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

MLA Citation

Grundy, Jim, and Malcolm Newey. Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. 1st ed. 1998. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

Warning: These citations may not always be 100% accurate.