退出
我的积分:
中文文献批量获取
外文文献批量获取
李爱中; 乔佩利;
不详;
自动定理证明; 反向归约; 数学归纳法; 人工智能;
机译:约束项重写系统中自动定理证明中方程定向的归约顺序
机译:一阶定理证明的机器学习:学习选择良好的启发式方法
机译:基于归约特征和机器学习的肝病快速诊断新方法
机译:用于用户定义的归约语言的多处理器归约机器
机译:确定性和随机偏微分方程的多尺度模型归约方法。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:一种自由机器型通信与反向活动级别估计的授予方法
机译:哪个定理证明。四种定理证明方法综述
机译:用于将归约算法转换为分段归约算法的系统,方法和计算机程序产品
机译:归约插值电路和归约插值方法
机译:一种基于wolff-kishner方法的归约程序(由Google翻译进行机器翻译,不具有法律约束力)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。