書店で探す
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- タイトルよみ
- ヘイコウ ケイサン ニ モトヅク エージエント ケイサンケイ ノ ロンリテキ イミロン ニ カンスル キソ ケンキュウ
- 著者・編者
- 富樫, 敦, 静岡大学
- 著者標目
- 富樫, 敦 トガシ, アツシ
- 出版年月日等
- 1998-1999
- 出版年(W3CDTF)
- 1998
- 数量
- 冊
- その他のタイトル
- 研究種目 基盤研究(C)
- 件名標目
- 高階並行プロセス計算 コウカイヘイコウプロセスケイサン動作的意味論 ドウサテキイミロン計算モデル ケイサンモデル高階様相論理 コウカイヨウソウロンリタイプシステム タイプシステム高階並行プログラミング言語 コウカイヘイコウプログラミングゲンゴ等価性 トウカセイ言語処理系 ゲンゴシヨリケイ