Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Slind, Konrad (Editor, http://id.loc.gov/vocabulary/relators/edt), Bunker, Annette (Editor, http://id.loc.gov/vocabulary/relators/edt), Gopalakrishnan, Ganesh C. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Edition: 1st ed. 2004.
• Series: Lecture Notes in Computer Science, 3223
• Subjects: Artificial intelligence.; Computers.; Architecture, Computer.; Mathematical logic.; Computer logic.; Software engineering.; Artificial Intelligence.; Theory of Computation.; Computer System Implementation.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.

This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving an...