- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
Reasoning in medical and tutoring systems: A decidable first-order temporalparaconsistent non-commutative logic
Open Access
-
- KAMIDE Norihiro
- 帝京大学
Bibliographic Information
- Title
- Reasoning in medical and tutoring systems: A decidable first-order temporalparaconsistent non-commutative logic
- Author
- Norihiro Kamide
- Published
- 2015
- Resource Type
- journal article
Journal
-
- International Journal of Software and Informatics
-
International Journal of Software and Informatics 9 73-92, 2015
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782291255940
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
