吹毛求疵

此软件的关键字
zbMATH中的参考文献(参考文献 63条 , 1标准件 )
杜布特,杰雷米; Yamada,Akihisa:非传递关系的不动点定理(2022) 斯蒂芬,亚历山大; Benzmüller,Christoph:Leo III中的伸展高阶调质(2021) 鲍姆加特纳,彼得; Schmidt,Renate A.:自下而上模型生成方法的阻塞和其他增强(2020) 本斯米勒,克里斯托夫; 大卫富恩马约尔:哥德尔本体论论证变体中正属性、超滤和模态崩溃的计算机支持分析(2020) 本斯米勒,克里斯托夫; 家长,泽维尔; van der Torre,Leendert:为伦理和法律推理设计规范性理论:\textslogickyframework,methodology,and tool support(2020年) 本斯米勒,克里斯托夫; Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020) 市长,大卫; Benzmüller,Christoph:计算解释学:自然语言论据逻辑分析的综合方法(2019) 市长,大卫; Benzmüller,Christoph:使用表达逻辑组合对复杂自然语言论据的机械化评估(2019) 卡利斯齐克,塞扎里; Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019) 米利切维奇,亚历山达; 附近,约瑟夫P。; 康恩苏克; 丹尼尔·杰克逊:合金*:通用高阶关系约束求解器(2019) 保尔森,劳伦斯·C。; 尼普科,托比亚斯; 温泽尔,马卡里乌斯:从LCF到伊莎贝尔/霍尔(2019) 阿卜杜勒阿齐兹,穆罕默德; 诺里斯,迈克尔; Gretton,Charles:上边界状态空间直径的正式验证算法(2018) 阿维加德,杰里米(编辑); 布兰切特,贾斯敏·克里斯蒂安(编辑); 克莱恩,格温(编辑); 保尔森,劳伦斯(编辑); 波佩斯库,安德烈(编辑); 斯内尔,格雷戈(编辑):“交互定理证明中的里程碑”简介(2018) 本斯米勒,克里斯托夫; 阿里·法贾米; 家长,泽维尔:霍尔的二元道义逻辑(2018) 本斯米勒,克里斯托夫; 家长,泽维尔; van der Torre,Leendert:道义逻辑推理基础设施(2018) 戴勒,西尔文; 哈撒,大卫; 三月,克劳德; Moy,Yannick:为反例生成提供最弱的先决条件演算(2018) 杜布瓦,凯瑟琳; Giorgetti,Alain:自定义数据生成器的测试和证明(2018) Guttmann,Walter:用Stone关系代数验证最小生成树算法(2018) Lochbihler,Andreas:使用经过验证的编译器实现多线程Java的类型安全模型(2018) Paulson,Lawrence C.:计算逻辑:它的起源和应用(2018)