Suchfeld einblenden
Person Dybjer, Peter
1 Treffer
Seite < 1 >
Types for proofs and programs
: selected papers / International Workshop TYPES '94, B°astad, Sweden, June 6 - 10, 1994. Peter Dybjer ... (ed.). - Berlin : Springer, 1995. - X, 202 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 996)
ISBN 978-3-540-60579-9 / 3-540-60579-7 kart. : DM 54.00
Literaturangaben
Quelle: DNB
Seite < 1 >
