Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grundy, Jim (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Newey, Malcolm (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1479
• Θέματα: Computer logic.; Artificial intelligence.; Software engineering.; Mathematical logic.; Logic design.; Logics and Meanings of Programs.; Artificial Intelligence.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Formal Languages.; Software Engineering.; Logic Design.

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submiss...