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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Slind, Konrad (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bunker, Annette (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Gopalakrishnan, Ganesh C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3223
• Θέματα: 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...