Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submiss...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International conference on theorem proving in higher order logics :Turku, Finlande
Altres autors:	Wright, Joakim von, 1955- (Director editorial), Grundy, Jim, 1968- (Director editorial), Harrison, John, 1966- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1125
Matèries:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 9th International Conference, TPHOLs'96, Turku, Finland, August 1996, proceedings, J. von Wright, J. Grundy, J. Harrison (eds.), 1996, Berlin, Springer, 1 vol. (VIII-446 p.), Lecture notes in computer science, 3-540-61587-3 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662195963