Theorem proving in higher order logics: 17th international conference, tphols 2004, park city, utah, usa, september 14-17, 2004, proceedings
Auteur :
Slind, Konrad
ISBN :
9783540230175
Date de publication :
1 sept. 2004
Dimensions :
23,4 x 15,6 x 1,8 cm
Poids :
500 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Covers the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. It addresses theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, and computability.