退出
我的积分:
中文文献批量获取
外文文献批量获取
许伟涛; 张闻强; 徐扬; 张德贤;
河南工业大学信息科学与工程学院,河南郑州 450001;
西南交通大学数学学院,四川成都610031;
格值一阶逻辑; 一般广义子句; 局部极复杂广义文字; 广义归结; 自动推理;
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:一阶格值逻辑系统II:语法
机译:格值一阶逻辑系统中格值角广义子句的alpha解析方法
机译:广义条件恐惧,工具避免和广义恐惧和避免的协变的规范性和病理人格预测
机译:基于广义广义梯度的特定反应参数密度泛函近似值:适用于H2 + Cu(111)和H2 + Ag(111)
机译:逻辑系统Ln ∗(n值NM-逻辑系统)中的量化逻辑的广义真度
机译:逻辑系统是广义类型系统
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法以及三值逻辑系统逻辑电路设计程序
机译:三值逻辑系统逻辑电路设计装置,三值逻辑系统逻辑电路设计方法和三值逻辑系统逻辑电路设计程序
机译:对每个单元格进行排序的单元格排序结构,将单元格值与上一个单元格值,下一个单元格值,输入值和输出值进行比较
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。