Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hurd, Joe (Editor), Melham, Tom (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3603
• Subjects: Computer science.; Architecture, Computer.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Theory of Computation.; Computer System Implementation.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.; Artificial Intelligence (incl. Robotics).

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?c...