Theorem proving in higher order logics：18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

Corporate Authors: TPHOLs 2005 (2005 Oxford, England)
Group Author: Hurd Joe.; Melham T. F.; (Tom F.)
Published: Springer,
Publication Dates: c2005.
Call Number: TP301-532/T396/2005