HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 形式推演论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
基于语言真值格值一阶逻辑系统Lv（n×2）F（X）中程度化公式的一些注记第1256-1262页
关键词: 语言真值格值一阶逻辑  形式推演  逻辑公式  程度化公式  
2013年第10期 《系统科学与数学》
命题逻辑中形式推演证明题的自动评阅系统第6-9页
关键词: 形式推演  命题逻辑  形式证明  自动评分  
2014年第02期 《计算机与现代化》
期刊导航