谓词逻辑与模型检验中的计量化理论
发布时间： 2021/11/18
-
所属单位：
数学与统计学院
-
负责人姓名：
周红军
-
项目性质：
纵向
-
项目级别：
国家级
-
项目参与人员：
王庆平,马丽娜,胡明娣,王伟,任芳,时慧娴
-
项目编号：
11101012106
-
立项时间：
2011/08/19
-
计划完成时间：
2015/12/31
-
开始日期：
2012/01/01
-
项目批准号：
11171200
上一条：
不确定性推理的Borel型概率计量化模型
下一条：
二值命题逻辑中命题的概率真度理论及其应用