退出
我的积分:
中文文献批量获取
外文文献批量获取
张家锋; 徐扬; 何星星;
毕节学院逻辑语言与认知中心;
西南交通大学智能控制开发中心;
自动推理; 语义归结方法; 格值逻辑; 格蕴涵代数; α-归结原理;
机译:基于格值命题逻辑系统LP(X)的α群语义解析方法
机译:基于格值命题逻辑LP(X)的α群准锁定语义解析方法
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:格值命题逻辑系统LP(X)中的α阶线性最小分解方法
机译:折叠:一种用于在潜在语义索引中更新部分奇异值分解的混合方法。
机译:将Hypernymic命题解释器集成到生物医学文本的语义处理器中
机译:晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法
机译:动态语义和循环命题
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法以及三值逻辑系统逻辑电路设计程序
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法和三值逻辑系统逻辑电路设计程序
机译:对每个单元格进行排序的单元格排序结构,将单元格值与上一个单元格值,下一个单元格值,输入值和输出值进行比较
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。