共 50 条
- [42] Three valued logic of Lukasiewicz for modelin semantics of logic programs ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, 2004, 3315 : 343 - 352
- [49] On Verified Automated Reasoning in Propositional Logic INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2022, PT I, 2022, 13757 : 390 - 402