WEKO3
アイテム
Studies on Applying π-Calculus to Formalizing Multi-Agent Systems
https://nitech.repo.nii.ac.jp/records/2799
https://nitech.repo.nii.ac.jp/records/27997fe469a2-ae54-4924-973c-662d16171e44
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2011-12-02 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Studies on Applying π-Calculus to Formalizing Multi-Agent Systems | |||||||
言語 | ||||||||
言語 | eng | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
資源タイプ | doctoral thesis | |||||||
アクセス権 | ||||||||
アクセス権 | open access | |||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
著者 |
Iwata, Kazunori
× Iwata, Kazunori
|
|||||||
著者別名 | ||||||||
姓名 | 岩田, 員典 | |||||||
学位名 | ||||||||
言語 | ja | |||||||
学位名 | 博士(工学) | |||||||
学位名 | ||||||||
言語 | en | |||||||
学位名 | Doctor of Engineering | |||||||
学位授与番号 | ||||||||
学位授与番号 | 甲第420号 | |||||||
学位授与年月日 | ||||||||
学位授与年月日 | 2003-03-25 | |||||||
著者版フラグ | ||||||||
出版タイプ | VoR | |||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
学位授与機関 | ||||||||
学位授与機関識別子Scheme | kakenhi | |||||||
学位授与機関識別子 | 13903 | |||||||
言語 | ja | |||||||
学位授与機関名 | 名古屋工業大学 | |||||||
内容記述 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 主査:石井 直宏 | |||||||
言語 | ja | |||||||
キーワード | ||||||||
言語 | en | |||||||
主題Scheme | Other | |||||||
主題 | π-Calculus | |||||||
キーワード | ||||||||
言語 | en | |||||||
主題Scheme | Other | |||||||
主題 | Multi-Agent Systems |