Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents m...

Descrición completa

Detalles Bibliográficos

Autor Corporativo:	International workshop on Higher Order Logic Theorem Proving and its Applications :La Valette
Outros autores:	Camilleri, Juanito (Directeur de la publication), Melham, Thomas F., 1960- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 859
Sujets:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Acceso en liña:	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:	• Higher order logic theorem proving and its application, 7th international workshop, Valletta, Malta, September 19-22, 1994, proceedings, Thomas F. Melham, Juanito Camilleri, (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (IX-470 p.), Lecture notes in computer science, 3-540-58450-1 • Higher Order Logic Theorem Proving and Its Applications, Texte imprimé, 9783662214749