退出
我的积分:
中文文献批量获取
外文文献批量获取
张健;
无;
重写技术; 自动定理证明;
机译:使用自动定理证明器验证断言语言重写规则和语义
机译:约束项重写系统中自动定理证明中方程定向的归约顺序
机译:两种用于定理证明的重写系统的比较和可用性
机译:用自动定理证明器证明和证明断言重写规则
机译:如何有效地实现基于OSHL的自动定理证明。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:自动定理证明的术语重写方法
机译:基于全自动定理证明的程序认证助手
机译:基于神经网络技术的基于地面的自动空间管理,以及基于区块链技术的基于知识的人工智能技术要素
机译:制造有机多层板的自动节能方法有助于提高基于有机材料的墙板的耐火性,能效CLEAN多层陶瓷板基于有机材料的耐火墙板,用于有机多层板的自动节能技术的技术路线有助于提高墙板的耐火性基于有机材料
机译:在个人计算机或基于个人计算机技术的单元上播放的方法,包括获取基于自动售货机上基于个人计算机技术运行的播放元素,以便在个人计算机上进行演示播放
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。