Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual internatio...

Celý popis

Podrobná bibliografie

Korporativní autor:	International workshop on Higher Order Logic Theorem Proving and its Applications :Vancouver
Další autoři:	Joyce, Jeffrey J., 19..- (Šéfredaktor, odpovědný redaktor), Seger, Carl-Johan H. (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 780
Témata:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Unités arithmétiques et logiques Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	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, 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993, proceedings, Jeffrey J. Joyce, Carl-Johan H. Seger, eds, Berlin, Springer-Verlag, 1994, 1 vol. (IX-517 p.), Lecture notes in computer science, 3-540-57826-9 • Higher Order Logic Theorem Proving and Its Applications, Texte imprimé, 9783662208953