Reasoning in medical and tutoring systems: A decidable first-order temporalparaconsistent non-commutative logic
オープンアクセス
-
- 上出 哲広
- 帝京大学
書誌事項
- タイトル
- Reasoning in medical and tutoring systems: A decidable first-order temporalparaconsistent non-commutative logic
- 著者
- Norihiro Kamide
- 公開日
- 2015
- 資源種別
- journal article
収録刊行物
-
- International Journal of Software and Informatics
-
International Journal of Software and Informatics 9 73-92, 2015
