APA Citation

Wright, J. v., Grundy, J., & Harrison, J. (1996). Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (1st ed. 1996.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Wright, Joakim von, Jim Grundy, and John Harrison. Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings. 1st ed. 1996. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996.

MLA Citation

Wright, Joakim von, Jim Grundy, and John Harrison. Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings. 1st ed. 1996. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996.

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