低成本

此软件的关键字
zbMATH中的参考文献(参考文献 158篇 , 1标准件 )
波拿契娜,玛丽亚·保拉; 格雷厄姆·伦格兰德,圣潘; Shankar,Natarajan:理论组合的冲突驱动满足性:引理、模和证明(2022) Lammich,Peter:有效验证(UN)SAT证书检查(2020年) 本特坎普,亚历山大; 布兰切特,贾斯敏·克里斯蒂安; 克拉科夫,迪特里希:深度学习表现力的正式证明(2019) 米勒,戴尔:重温机械化元理论(2019) Moore,J Strother:从纯Lisp定理证明者到ACL2的里程碑(2019) 保尔森,劳伦斯·C。; 尼普科,托比亚斯; 温泽尔,马卡里乌斯:从LCF到伊莎贝尔/霍尔(2019) 马特,克里斯蒂安; 毛雷尔,尤利; 波特曼,克里斯托弗; 雷纳,雷纳托; 塔克曼,比约恩:走向系统的代数理论(2018) Schlichtkrull,Anders:一阶逻辑解析演算的形式化(2018) 基哈尼,扎卡里亚; 米勒,戴尔; Renaud,Fabien:《证据的语义框架》(2017) 哈尔斯,托马斯; 亚当斯,马克; 鲍尔,格特鲁德; 当,达达特; 哈里森,约翰; 黄乐忠; 卡利斯齐克,塞扎里; 马格伦,维克多; 麦克劳林,肖恩; 阮,达唐; 阮广忠; 尼普科,托比亚斯; 奥布亚,史蒂文; 普莱索,约瑟夫; 鲁特,杰森; 索洛维耶夫,亚历克西; Ta,Thi Hoai An公司; 川,南庄; 特里厄,Thi Diep; 城市,约瑟夫; 伍,肯塔基州; Zumkeller,Roland:开普勒猜想的正式证明(2017) 米勒,戴尔:验证检查和逻辑编程(2017) Ziliani,贝塔; Sozeau,Matthieu:CIC新统一体的可理解指南,包括宇宙多态性和过载(2017) Adams,Mark:HOL Zero对Pollack不一致性的解决方案(2016) 毛里西奥·阿亚拉·林克翁; 费尔南德斯,玛丽贝尔; Rocha Oliveira,Ana Cristina:名义统一算法的PVS完备性(2016) Bettini,Lorenzo:用Xsemantics实现IDE的类型系统(2016) 卡鲁德,克里斯蒂安S。; 汤普森,德克兰:不完全性,不可判定性和自动证明(特邀演讲)(2016) 库马尔、拉马纳; 阿尔森,罗伯; 梅林,马格努斯O。; 欧文斯,斯科特:高阶逻辑的自形式化。 语义、可靠性和验证实现(2016) 林玉辉; 格罗夫,古德蒙德; Arthan,Rob:以图形化的方式理解和维护战术,或者我们是如何认识到一个图表的价值可以超过10万LoC(2016年) 但以理,马提丘; 莫里,托比; Wenzel,Makarius:Eisbach:Isabelle的验证方法语言(2016) 胸骨,基督教; 蒂曼,勒内:开发独立认证机构的框架(2015)