退出
我的积分:
中文文献批量获取
外文文献批量获取
陈勇浩;
无;
一阶逻辑; 自动定理证明; 算法;
机译:近年来一阶逻辑定理证明程序的实践
机译:最近的一阶逻辑定理证明程序
机译:关于“算法状态机设计和自动定理证明:同一活动的双重方法”的评论
机译:具有一阶逻辑定理证明的自动生成一致图模型
机译:用于化学应用的新软件:用于自动化学的算法和实验计划器,以及用于光化学的交互式程序(PhotochemCAD)。
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:一阶逻辑和自动定理证明,M。Fitting,Springer,1990年,242页。
机译:动态一阶逻辑的定理证明与编程
机译:高速自动加载系统,具有一个六自由度垂直旋转机器人,该旋转机器人具有在特定位置附近进行织造运动和灵活的关节运动的功能,用于自动执行机械工具,以使与该位置相邻的,新的和特定位置的机器人进行灵活的关节运动算法
机译:自动在除颤器中的第一个心电图分析算法和第二个心电图分析算法之间进行切换的方法,以及用于心肺复苏的自动体外除颤器
机译:用于信息处理的自动定理证明的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。