当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
--
应用数理逻辑
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
描述逻辑及其模态扩充的模型
模糊描述逻辑L-SI语义及推理的研究
含限定性数目约束的模糊描述逻辑FALCQ
[1]
