Axelrod G.; Conradie W., Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics, CEUR Workshop Proceedings 3717, pp. 10.
https://p22.juizi.com/nithecs/research/publications/publication-search/axelrod-g-conradie-w-prefixed-tableaux-and-decision-procedures-for-many-valued-modal-logics-ceur-workshop-proceedings-3717-pp-10
https://p22.juizi.com/nithecs/@@site-logo/Logo.svg
Axelrod G.; Conradie W., Prefixed Tableaux and Decision Procedures for Many-Valued Modal Logics, CEUR Workshop Proceedings 3717, pp. 10.
