Naidiao Zhu

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Satisfiability Testing

Approximate Reasoning

Propositional Logic

Belief Revision

Top Venues

计算机科学

Publications

Xiaoli Gao, Xiaojing Hui, Naidiao Zhu
n值ukasiewicz逻辑系统中公式的向量表示及其研究 (Research on Vector Representation of Formula in n-valued ukasiewicz Propositional Logic System). 计算机科学 43 (Z11) (2016)
Naidiao Zhu, Xiaojing Hui, Xiaoli Gao
Gdel n值命题逻辑系统中命题公式的t真度及近似推理 (t Truth Degree of Formulas and Approximate Reasoning in Gdel n-valued Propositional Logic System). 计算机科学 43 (Z11) (2016)