Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : International conference on theorem proving in higher order logics (10 ; 1997 ; Murray
Hill, N.J.)
Titre(s) : Theorem proving in higher order logics [Texte imprimé] : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / ed. Elsa L. Gunter, Amy Felty
Publication : Berlin : Springer, cop. 1997
Description matérielle : 1 vol. (VIII-337 p.) : ill. ; 25 cm
Collection : Lecture notes in computer science ; 1275
Lien à la collection : Lecture notes in computer science
Note(s) : Notes bibliogr.
Autre(s) auteur(s) : Gunter, Elsa L.. Éditeur scientifique
Felty, Amy. Éditeur scientifique
Sujet(s) : Théorèmes -- Démonstration automatique
Genre ou forme : Actes de congrès
Indice(s) Dewey :
004.015 1 (23e éd.) = Informatique - Principes mathématiques
Identifiants, prix et caractéristiques : ISBN 3-540-63379-0 (br.)
Identifiant de la notice : ark:/12148/cb37525274x
Notice n° :
FRBNF37525274