Suchfeld einblenden
Person Barendregt, Hendrik P.
1 Treffer
Seite < 1 >
Types for proofs and programs
: selected papers / International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Henk Barendregt ; Tobias Nipkow (ed.). - Berlin : Springer, 1994. - 383 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 806)
ISBN 978-3-540-58085-0 / 3-540-58085-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Seite < 1 >
