共 50 条
- [21] Tutorial:: Complexity of many-valued logics 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 137 - 146
- [22] Classical Resolution for Many-Valued Logics 1600, Elsevier B.V., Netherlands (323): : 253 - 270
- [30] Polynomial ring calculus for many-valued logics 35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 20 - 25