検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA08285538
名称(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)
LCAID94038896
選択行を：
選択行を
▲ページトップへ