退出
我的积分:
中文文献批量获取
外文文献批量获取
霍锐泉;
广东省广州市番禺区东涌中学;
绝对值; 符号; 数字;
机译:从知识的假设a-priorti-ness,在逻辑上正式的公理认识论系统中惯性法则的正式演绎推理
机译:皮尔斯的自然演绎法则
机译:Godel Logic的超自然演绎-一种用于并行推理的自然演绎系统
机译:利用黄金比例法则和黄金比例法则对金属带通滤波器的设计
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:DNA计算机推论的自然演绎法则
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:演绎系统,演绎设备,演绎方法和计算机程序
机译:用于机动车辆的枢转离合器踏板致动辅助装置,具有引导单元,该引导单元限定与离合器辅助法则不同的离合器辅助法则,该离合器辅助法则允许弹簧施加力矩以辅助踏板旋转至离合器位置。
机译:降雨法则的应用和气压法则的附加法则
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。