退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动终止证明的决策程序
Ruzica Piskac; Thomas Wies;
机译:通过术语重写为Haskell提供自动终止证明
机译:通过术语重写自动完成逻辑程序的终止证明
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:划线历史和体格记录以及程序报告对常规程序内镜医师效率的影响:概念验证研究
机译:通过决策程序和指导性归约自动进行类型健全性证明
机译:自动化的程序确定和决策生成
机译:自动化程序确定和决策生成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。