Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

MLA

Wright, J. von, J. Grundy and J. Harrison. Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Berlin ; New York : Springer, [1996]

APA

Wright, J., Grundy, J. & Harrison, J. (1996). Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Berlin ; New York : Springer.

Chicago

Wright, J. von, J. Grundy and J. Harrison. Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Berlin ; New York : Springer, [1996]