Studies on applying π-calculus to formalizing multi-agent systems マルチエージェントシステムの形式化へのπ計算の適用に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Studies on applying π-calculus to formalizing multi-agent systems
- タイトル別名
-
マルチエージェントシステムの形式化へのπ計算の適用に関する研究
- 著者名
-
岩田, 員典
- 著者別名
-
イワタ, カズノリ
- 学位授与大学
-
名古屋工業大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第420号
- 学位授与年月日
-
2003-03-25
注記・抄録
博士論文
主査：石井 直宏
