退出
我的积分:
中文文献批量获取
外文文献批量获取
徐舟;
代数推理; 高考题; 证明题; 用语; 逻辑; 充要条件; 命题推广; 逆命题;
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:事实推理作为类比推理:对Tillers教授的“试验中证明的结构和逻辑”的评论
机译:使用语义Web逻辑和证明层的服务扩展多代理推理互操作性框架
机译:学生的逻辑推理和数学证明。
机译:用于临床应用的常用语音和语言特征的可重复性
机译:作为类比推理的事实推理:对教授分蘖的“审判证明的结构和逻辑”评论
机译:描述使用语法更新的逻辑推理
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:逻辑推理系统,计算学习装置及逻辑推理方法
机译:逻辑推理系统,计算学习装置和逻辑推理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。