Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

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...

Täydet tiedot

Bibliografiset tiedot

Päätekijä:	Slind, Konrad
Yhteisötekijä:	International conference on theorem proving in higher order logics (Tekijä)
Muut tekijät:	Bunker, Annette (Päätoimittaja), Gopalakrishnan, Ganesh (Päätoimittaja)
Aineistotyyppi:	Livre numérique
Kieli:	Anglais
Julkaistu:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sarja:	Lecture notes in computer science 3223
Aiheet:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Linkit:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Huomautus:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theorem proving in higher order logics, 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, proceedings, Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.), Berlin, Springer, 2004, 1 vol. (VIII-336 p.), Lecture notes in computer science, 3-540-23017-3 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662211625