Norihiro Kamide. Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic. Int. J. Software and Informatics, 9(1):73-92, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.