Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / editors, Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan.

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 4...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Authors:	TPHOLs Park City, Utah, LINK (Online service)
Other Authors:	Slind, Konrad, Bunker, Annette, Gopalakrishnan, Ganesh
Other title:	TPHOLs 2004.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2004.
Series:	Lecture notes in computer science ; 3223.
Subjects:	Automatic theorem proving > Congresses. Automatic theorem proving. Electronic book. Conference papers and proceedings.