Suchfeld einblenden
Person Gunter, Elsa L.
1 Treffer
Seite < 1 >
Theorem proving in higher order logics
: 10th international conference ; proceedings / TPHOLs '97, Murray Hill. NJ, USA, August 19 - 22, 1997 / Elsa L. Gunter ; Amy Felty (ed.). - Berlin : Springer, 1997. - VIII, 337 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1275)
ISBN 978-3-540-63379-2 / 3-540-63379-0 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Seite < 1 >
