文献の詳細
| 論文の言語 | 英語 |
|---|---|
| 著者 | N. Izumi, S. Takamatsu, K. Kise, and K. Fukunaga |
| 論文名 | A First-Order Logical Formalization of Multi-Agent Models with Process Algebraic Formulation |
| 論文誌名 | Proc. of the IASTED International Conference on Artificial Intelligence, Expert Systems and Neural Networks |
| ページ | pp.116-119 |
| 査読の有無 | 有 |
| 年月 | 1996年8月 |
- BibTeX用エントリー
@InProceedings{Izumi1996, author = {N. Izumi and S. Takamatsu and K. Kise and K. Fukunaga}, title = {A First-Order Logical Formalization of Multi-Agent Models with Process Algebraic Formulation}, booktitle = {Proc. of the IASTED International Conference on Artificial Intelligence, Expert Systems and Neural Networks}, year = 1996, month = aug, pages = {116--119} }