·2,447,543篇论文数据，部分数据来源于NoteExpress
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
youdao
应用推荐
模块上移
模块下移
不移动