Studies on applying π-calculus to formalizing multi-agent systems マルチエージェントシステムの形式化へのπ計算の適用に関する研究

この論文にアクセスする

この論文をさがす

著者

    • 岩田, 員典 イワタ, カズノリ

書誌事項

タイトル

Studies on applying π-calculus to formalizing multi-agent systems

タイトル別名

マルチエージェントシステムの形式化へのπ計算の適用に関する研究

著者名

岩田, 員典

著者別名

イワタ, カズノリ

学位授与大学

名古屋工業大学

取得学位

博士 (工学)

学位授与番号

甲第420号

学位授与年月日

2003-03-25

注記・抄録

博士論文

主査:石井 直宏

1アクセス

各種コード

  • NII論文ID(NAID)
    500000233941
  • NII著者ID(NRID)
    • 8000000234477
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000004195332
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
ページトップへ