書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- コウカイ カンスウ ・ ロンリテキ プログラム ノ ケイサン モデル
- 著者・編者
- 井田, 哲雄, 筑波大学
- 著者標目
- 著者 ： 井田, 哲雄, 1947- イダ, テツオ, 1947- ( 00190628 )典拠
- 出版年月日等
- 1996-1997
- 出版年（W3CDTF）
- 1996
- 数量
- 冊
- その他のタイトル
- 研究種目 基盤研究(B)
- 件名標目
- ナローイング ナローイング高階関数・論理型言語 コウカイカンスウ・ロンリガタゲンゴ計算モデル ケイサンモデル条件付き項書換え系 ジヨウケンツキコウカキカエケイ完全性 カンゼンセイ