Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Mohamed, Otmane Ait (Επιμελητής έκδοσης), Muñoz, César (Επιμελητής έκδοσης), Tahar, Sofiène (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Σειρά: Lecture Notes in Computer Science, 5170
• Θέματα: Computer science.; Architecture, Computer.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.

This book constitutes the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. The 17 revised full papers presented together with 1 proof pearl (concise and elegant presentations of interesting exa...