HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 证明系统论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
不可满足公式的同态证明系统第336-345页
关键词: 不可满足公式  同态  证明系统  基础矩阵  完备性  
2005年第03期 《软件学报》
从单音反义形容词看汉语语法的证明系统第1-6页
关键词: 单音反义形容词  证明系统  层级结构  逻辑要素  
2006年第05期 《现代基础教育研究》
三值逻辑证明系统及正例与反例的提取第1270-1279页
关键词: 三值逻辑  不完全kripke结构  正例  反例  证明系统  
2011年第07期 《计算机辅助设计与图形学学报》
期刊导航