ZBMaX中的参考文献(273篇)1标准条款

显示结果41至60的273。
按年份排序(引文
  1. 休尔,Marijn J. H.;Hunt,Warren A. jun.;韦茨勒,弥敦:DRAT证据中的对称破缺(2015)
  2. 杰克布森,查尔斯;索洛维约夫,阿列克谢;GopalakrasHnman,GANSIH:HOLL光中的参数化浮点形式化(2015)
  3. 穆尔,J Strother:机器推理机器:2015(2015)
  4. 纳赫勒,朱利安;赞克尔,哈拉尔德:认证规则标记(2015)
  5. Noschinski,拉尔斯:伊莎贝尔的图形库(2015)
  6. 罗斯,丹;Smallbone,尼古拉斯:技巧:感应工具工具(2015)
  7. 舒尔茨,Stephan;Sutcliffe,杰夫:饱和一阶定理证明器的证明生成(2015)
  8. 施,Zhiping;张,Yupeng;关,Yong;李,Liming;张,杰:HL(2015)中离散傅立叶变换的形式化
  9. 文策尔,Makulu:从伊莎贝尔/ ISAR的角度看交互式定理证明(2015)
  10. Aransay Azofra、杰斯、迪瓦斯、若泽、赫拉斯、J·弥敦、羔羊、Laureano、Pascual、玛利亚维柯;Rubio、ngel-路易斯;Fig,Y:从A/HOL理论中获得ACL2规范(2014)伊波尔特
  11. Brayband,托马斯;Jourdan,Jacques Henri;Munnax,戴维:COQ(2014)中散列约束数据结构的实现和推理
  12. 格兰斯登,托马斯;Walkhan肖,尼尔;Raman,Rajeev:基于证明语料库的基于状态的挖掘模型(2014)
  13. Groce,亚历克斯;Havelund,克劳斯;霍尔茨曼,热拉尔;Joshi,拉杰夫;徐,茹刚:建立飞行软件可靠性:测试、模型检查、约束求解、监控和学习(2014)
  14. Heras,J·弥敦;Komendantskaya,Ektina:COQ中的循环证明模式:案例研究(2014)
  15. Cezary,城市,约瑟夫:学习辅助的自动推理与(\ MathsffLySpk)(2014)
  16. Kaufmann、Matt、穆尔、J Strother:粗钻石:等价重写的延伸(2014)
  17. LamBin,L.;RuBio,J;Malti-N-MaeOS,F. J.;Ruiz Reina,J. L.:验证单纯拓扑与代数之间的桥梁:Eilenberg Zilber算法(2014)
  18. 穆尔,J Strother:证明珍珠:证明一个简单的冯诺依曼机器图灵完成(2014)
  19. MyReN,Magnus O.;戴维斯,贾里德:反射Malaya定理证明器是声音(下到运行它的机器代码)(2014)
  20. OMODEO,Eugenio G.;托梅斯库,Alexandru I.:设图。II:证明珍珠:无爪图映射到传递遗传有限集(2014)