退出
我的积分:
中文文献批量获取
外文文献批量获取
岳建良;
陕西省长安县第四中学;
平面三角; 角分; 等价形式; 三角关系;
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:命题图式的可判定性和不可判定性结果
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:Ockhamist命题动态逻辑的可判定性和可表达性
机译:用于学习网状几何形状的框架及明确边界判定方法
机译:生长的细菌的曲率和形状判定
机译:命题区间邻域逻辑:表达性,可判定性和不可判定的扩展
机译:命题线性不等式判定程序的优化
机译:形状误差判定装置,判定结果图像生成装置以及形状误差判定方法
机译:形状品质判定方法及形状品质判定装置
机译:形状品质判定装置及形状品质判定方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。