Satisfiability problem of linguistic truth-valued intuitionistic propositional logic
- 所属机构名称:辽宁师范大学
- 会议名称:3rd International Conference on Innovative Computing Information and Control, ICICIC'08
- 成果类型:会议
- 会场:Dalian, Liaoning, China
- 相关项目:面向Web数据挖掘的用户动机定性推理模型研究