@article{weko_11859_1, author = "岩田,員典 and 伊藤暢浩 and 杜小勇 and 石井,直宏", title = "π-計算を用いたエージェントのプランの形式化に関する研究", journal = "情報処理学会論文誌", year = "2001", volume = "42", number = "9", pages = "2213--2220", month = "sep" }