書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトル
- タイトルよみ
- リサンテキ ケイサンキ スウガク ノ ソウゴウテキ ケンキュウ
- 著者・編者
- 米田, 信夫, 東京大学
- 著者標目
- 米田, 信夫 ヨネダ, ノブオ
- 出版年月日等
- 1985-1987
- 出版年（W3CDTF）
- 1985
- 数量
- 冊
- 件名標目
- 圏論と計算機科学 ケンロントケイサンキカガクトポス トポス関数型言語の処理機構 カンスウガタゲンゴノシヨリキコウModula-2 MODULA-2プログラムの自動合成 プログラムノジドウゴウセイ定理の自動証明 テイリノジドウシヨウメイ計算幾何学 ケイサンキカガクV-論理 V-ロンリ類推の理論 ルイスイノリロンペアノ算術系 ペアノサンジユツケイグラフの結合度と可約辺 グラフノケツゴウドトカヤクヘン
- NDLC