Web page for 1996 International Conference on Theorem Proving in Higher Order Logics

John Harrison (jharriso@ra.abo.fi)
Thu, 11 Jan 1996 17:18:40 +0200

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: D.W.Loveland: "Call for written contributions"
Previous message: Jockum von Wright IB: "CfP (Theorem Proving in Higher Order Logics) - LaTeX version"

Further to the Call for Papers, there is a Web page for the 1996 International
Conference on Theorem Proving in Higher Order Logics. See:

Apologies for multiple copies of this message.

John Harrison, Abo Akademi University.

Next message: D.W.Loveland: "Call for written contributions"
Previous message: Jockum von Wright IB: "CfP (Theorem Proving in Higher Order Logics) - LaTeX version"