Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achi...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International workshop on Higher Order Logic Theorem Proving and its Applications :Aspen Grove, Utah
Andre forfattere:	Schubert, E. Thomas, 1959- (Directeur de la publication), Windley, Phillip J., 1958- (Directeur de la publication), Alves-Foss, Jim, 1964- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 971
Fag:	Génie logiciel Informatique Systèmes d'exploitation (ordinateurs) Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Higher order logic theorem proving and its applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, proceedings, Thomas E. Schubert, Phillip J. Windley, James Alves-Foss, eds, Berlin, Springer, 1995, 1 vol. (VIII-400 p.), Lecture notes in computer science, 3-540-60275-5 • Higher Order Logic Theorem Proving and Its Applications, Texte imprimé, 9783662176207