Research reports on information sciences. series C:Computer science 49～57

• 資料種別: 図書
• タイトル: Research reports on information sciences
• タイトルよみ: Research reports on information sciences
• 巻次・部編番号: series C:Computer science 49～57
• 著者・編者: [東京工業大学理学部情報科学科] [編]
• 著者標目: 東京工業大学 トウキョウ コウギョウ ダイガク ( 00259309 )典拠
• 出版事項: Tokyo : Department of Information Sciences, Tokyo Institute of Technology
• 出版年月日等: 1983.1-10
• 出版年（W3CDTF）: 1983
• 数量: 9冊
• 大きさ: 30cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDC8版: 007
• NDLC: M151
• 対象利用者: 一般
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 図書; https://dl.ndl.go.jp/collections/A00001
• 所蔵機関: 国立国会図書館
• 請求記号: M151-44
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000001675379; http://id.ndl.go.jp/bib/000001675379
• 全国書誌番号: 84039008
• 目録規則: 日本目録規則新版予備版
• 整理区分コード: 111

• 内容細目: 49 A categorical characterization of lambda calculus models(Takanori Adachi) 50 The relation between time and accepting probability of probabilistic s...