書店で探す
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 博士論文
- タイトルよみ
- BDI logic ノ sequent calculus ニ ヨル エンエキ タイケイ ト マルチエージェント カンキョウ エ ノ カクチョウ
- 著者・編者
- 新出尚之 [著]
- 著者標目
- 新出, 尚之 ニイデ, ナオユキ
- 出版事項
- 出版年月日等
- [2007]
- 出版年（W3CDTF）
- 2007
- 数量
- 1冊
- 授与機関名
- 奈良女子大学
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。