退出
我的积分:
中文文献批量获取
外文文献批量获取
周平; 姜明; 孙西芃;
四川师范大学数学与软件科学学院;
西南民族大学电信学院;
西南财经大学数学系;
α-归结原理; 广义量词; 格值一阶逻辑系统LF(X); 格蕴涵代数;
机译:格值一阶逻辑Lvfi(II)中具有广义量词的a分解原理
机译:格值一阶逻辑Lvfl(I)中的广义量词的近似推理
机译:格值一阶逻辑中的广义量词
机译:格值一阶逻辑系统中格值角广义子句的alpha解析方法
机译:广义量词的推论模式及其在标量推理中的应用。
机译:中文数字分类器和量词处理中的数学值
机译:逻辑系统Ln ∗(n值NM-逻辑系统)中的量化逻辑的广义真度
机译:包含一阶量词的实用马尔可夫逻辑及其在身份不确定性中的应用
机译:显示模拟信号的值-适用于四声道放大器中具有四个通道的LF电平
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。