| タイトル | Combining Paraconsistency and Probability in CTL |
|---|---|
| 著者 | Norihiro Kamide 、Daiki Koizumi |
| 年度 | 2014 |
| 形式 | 国際学会 |
| 分野 | 情報セキュリティ |
| 掲載雑誌名 | Proc. of The 7th International Conference on Agents and Artificial Intelligence (ICAART) 2015, vol. 2 |
| 掲載号・ページ | pp. 285-293, Lisbon, Portugal |
| 掲載年 | 2015 |
| 掲載月 | 1 |
| アブスト （日本語） |
|
| アブスト （英語） |
|
| 備考 （日本語） |
1 |
| 備考 （英語） |
1 |
| 論文原稿 | |
| 発表資料 |
