退出
我的积分:
中文文献批量获取
外文文献批量获取
江南; 李清安; 汪吕蒙; 张晓瞳; 何炎祥;
湖北工业大学计算机学院 湖北武汉430068;
武汉大学计算机学院 湖北武汉430072;
定理证明; 证明助手; 消解; 自然演绎; 类型化的λ演算; 编程逻辑; 求精;
机译:相干逻辑中黑森伯格定理证明的机械化
机译:从隧道掘进机的超前勘探到实时操纵:协同研究中心“机械化隧道中的相互作用模型”的相关研究综述
机译:正常条件逻辑的嵌套后续演算和定理证明:定理证明者NESCOND
机译:基于重写定理证明中大型有限表的机械化推理
机译:Liquid Haskell:Haskell作为定理证明。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:哪个定理证明。四种定理证明方法综述
机译:包括毒性和风险评估研究在内的研究综述系统和方法
机译:毒性和风险评估研究综述系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。