NCID | DA08285538 |
名称(HDNG) | Nipkow, Tobias, 1958- |
生没年(DATE) | 1958- |
注記(NOTE) | Types for proofs and programs, c1994: CIP t.p. (Tobias Nipkow) t.p. verso, etc. (Inst. für Inform., Technische Univ. München; b. 03-08-58) SRC:Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)(Springer-Verlag, c1993) |
LCAID | 94038896 |