Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8 12, 2003 in Rome, Italy. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cati...

ver descrição completa

Detalhes bibliográficos

Autor Corporativo:	International conference on theorem proving in higher order logics :Rome
Outros Autores:	Basin, David (Diretor de publicação), Wolff, Burkhart (Diretor de publicação)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
coleção:	Lecture notes in computer science 2758
Assuntos:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Acesso em linha:	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, 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003, proceedings, David Basin, Burkhart Wolff (eds.), Berlin, Springer, 2003, 1 vol. (X-366 p.), Lecture notes in computer science, 3-540-40664-6 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662199480