Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3 6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and v...

Disgrifiad llawn

Manylion Llyfryddiaeth

Awdur Corfforaethol:	International conference on theorem proving in higher order logics :Edimbourg, Ecosse
Awduron Eraill:	Boulton, Richard J., 1967- (Cyfarwyddwr cyhoeddi), Jackson, Paul B., 1962- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 2152
Pynciau:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	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, 14th international conference, TPHOLs 2001, Edinburgh, Scotland UK, September 3-6, 2001, proceedings, Richard J. Boulton, Paul B. Jackson (eds.), 2001, New York, Springer, 1 vol. (X-393 p.), Lecture notes in computer science, 3-540-42525-X • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662199183