書店で探す
目次
89(4) (通号 412) 2006.4
- フォーマルアプローチ論文特集
p.623~742
- π計算に対する時間拡張と合同的性質 (フォーマルアプローチ論文特集)
p.632~641
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 1880-4535
- ISSN-L
- 1880-4535
- タイトル
- タイトルよみ
- デンシ ジョウホウ ツウシン ガッカイ ロンブンシ
- 巻次・部編番号
- D89巻4号(通号412) 2006年4月
- 部編名
- 情報・システム
- 著者・編者
- 電子情報通信学会 編