归档正式证据

此软件的关键字
zbMATH参考文献(参考
152篇文章
参考, 1标准件 )
巴拉林,克莱门斯:用语言环境探索代数文本的结构(2020) Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020) Christoph Benzmüller;Fuenmayor,David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析(2020) Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020) 比斯平,本杰明;内斯特曼,威斯康星州;彼得斯,基尔斯廷:耦合相似性:前32年(2020年) Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020) Eberl,Manuel;Haslbeck,Max W.;Nipkow,Tobias:随机二叉树结构的验证分析(2020) Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020) Gouëzel,Sébastien;Karlsson,Anders:次加法和乘法遍历定理(2020) Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020) Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020) Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020) Schlichtkrull,Anders;Blanchette,Jasmin;Traytel,Dmitriy;Waldmann,Uwe:形式化Bachmair和Ganzinger的有序解析证明(2020) Sheng,Feng;Zhu,Hui Biao;He,Jifeng;Yang,Zongyuan;Bowen,Jonathan P:基于UTP的MDESL指称语义的理论与实践研究(2020) Sternagel,Christian:Higman引理的机械化证明(2020) Thiemann,René;Bottesch,Ralph;Divasón,Jose;Haslbeck,Max W.;Joosten,Sebastiaan J.C.;Yamada,Akishisa:Isabelle/HOL中LLL基约化算法和LLL因子分解算法的形式化(2020年) 拜耳,乔纳斯;大卫,马可;帕尔,阿比克;斯托克,贝尼迪克:初学者寻求形式化数学:伊莎贝尔可行性研究(2019年) Alexander Bentkamp;Jasmin Christian Blanchette;Dietrich Klakow:深度学习表现力的正式证明(2019) Arthur Charguéraud;Pottier,François:使用时间信用验证分离逻辑中union-find实现的正确性和摊余复杂性(2019) 大卫·富恩马约尔;克里斯托夫·本兹米勒:《计算解释学:自然语言论证逻辑分析的综合方法》(2019)