位置：成果数据库 > 期刊 > 期刊详情页
L*3中逻辑公式的范式表示及对称逻辑公式的构造方法
  • ISSN号：0254-4164
  • 期刊名称：计算机学报
  • 时间：2013
  • 页码：851-861
  • 相关项目：不确定性推理的Borel型概率计量化模型
作者： 王庆平|
同期刊论文项目
不确定性推理的Borel型概率计量化模型
期刊论文 31 会议论文 2
同项目期刊论文
雪崩布尔函数的构造方法及个数估计
Stone-like representation theorems and three-valued filters in R-0- algebras (nilpotent minimum alge
R_0-代数的Stone拓扑表示定理
Generalized Bosbach and Riecan states based on relative negations in residuated lattices
R_0-代数上的滤子拓扑空间
形式系统L~*中极大相容逻辑理论的拓扑刻画
Lukasiewicz模糊命题逻辑中极大相容理论的结构和拓扑刻画
Borel型概率计量逻辑
?ukasiewicz 命题逻辑中命题的Borel 概率真度理论和极限定理
计量逻辑学中的线性逻辑公式
关于洛必达法则证明的几点补充
广义MP问题的α-三Ⅰ解的形式化理论
剩余格中的Fuzzy(P)滤子的结构
一类具有垂直传播的SIS捕食传染病模型的全局分析
The probability theories for IVFSs and IVIFSs
Generalized Bosbach and Riecan states on nucleus-based-Glivenko residuated lattices
基于n-值Lukasiewicz命题逻辑的概率计量化推理系统
Lukasiewicz命题逻辑中命题的Choquet积分真度理论
多值?ukasiewicz 逻辑公式的范式表示和计数问题
Borel probabilistic and quantitative logic
多值模态逻辑的计量化方法
计量逻辑学中的雪崩逻辑公式
多值Lukasiewicz逻辑公式的范式表示和计数问题
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法
Lukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理
Lukasiewicz 命题逻辑中命题的 Choquet 积分真度理论
广义MP问题的α-三Ⅰ解的形式化理论
形式系统L＊中极大相容逻辑理论的拓扑刻画
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433