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
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
本文_fulltext (8.0 MB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-12-02 | |||||
| タイトル | ||||||
| タイトル | Studies on Applying π-Calculus to Formalizing Multi-Agent Systems | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | 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 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 7459 | |||||
| 姓名 | 岩田, 員典 | |||||
| 学位名 | ||||||
| 言語 | 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 | |||||
