科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
冯嘉礼; 冯嘉仁; 詹增修;
中国计算机学会;
逻辑运算; 数理逻辑; 数学模拟;
机译:连续优化问题中解的数学结构(1)-(级联)水平集的解的定义和基本性质
机译:连续优化问题中解的数学结构:(连接的)水平集的解的定义和基本性质
机译:连续优化问题中凸集上的多峰函数的数学结构(1)-鞍值集的新定义和多峰函数的基本数学结构
机译:开发统计量的数学结构以比较RDF数据多维数据集
机译:乘积图的极值集和等距性质。
机译:通用(元)逻辑推理:智者之谜(Isabelle / HOL数据集)
机译:两人战略形式博弈中的交替运动前戏和$ upsilonN-M $稳定集(优化理论的数学结构)
机译:Full211测度集上Hardy类函数的逼近性质
机译:逻辑推理游戏的零件集
机译:逻辑推理系统,计算学习装置及逻辑推理方法
机译:逻辑推理系统,计算学习装置和逻辑推理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。