Theorem proving in higher order logics：17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

Corporate Authors: TPHOLs 2004 (2004 Park City, Utah
Group Author: Slind Konrad; Bunker Annette; Gopalakrishnan Ganesh
Published: Springer,
Publication Dates: 2004.
Call Number: TP301-532/T396/2004