可悲的

此软件的关键字
zbMATH参考文献(14篇文章引用了, 2标准条款 )
Sutcliffe,Geoff:TPTP问题库和相关基础设施。 从CNF到TH0,TPTP v6.4.0(2017) Lyaletski,Alexander:一阶逻辑中的证据算法和推理搜索(2015) 阿拉马,杰西;卡勒,莱因哈德:检查证据(2013年) Geuvers,Herman;Nederpelt,Rob:N.G.de Bruijn对数学形式化的贡献(2013) Letichevsky,A.A.;Lyaletski,A.V.;Morokhovets,M.K.:Glushkov证据算法(2013) 克拉默,马可斯;科普克,彼得;施罗德,伯恩哈德:纳普罗什系统中符号数学的解析和消歧(2011) 奥特西耶,谢尔盖;迪特里希,多米尼克:声明性证明的策略语言(2010) 马可斯·克拉默;彼得·科普克;丹尼尔·库尔文;伯恩哈德·施罗德:《纳普罗什系统中的前提选择》(2010) Lyaletski,Alexander;Verchinine,Konstantin:用于自动推理的证据算法和系统:回顾性观点。 (为纪念EA公告发布40周年)(2010年) Geuvers,H.:证明助理:历史、想法和未来(2009) 康斯坦丁·维奇宁、亚历山大·莱莱斯基、安德烈·帕斯凯维奇、安纳托利·阿尼西莫夫:《从逻辑和实践的角度看数学文本的正确性》(2008) 康斯坦丁·韦尔奇宁;亚历山大·莱莱斯基;安德烈·帕斯凯维奇:自动演绎系统(SAD):证据验证工具(2007) 亚历山大·莱莱斯基、安德烈·帕斯凯维奇、康斯坦丁·维奇宁:作为一名数学助手,我们应该如何从这里走到那里? (2006年) Lyaletski,Alexander;Paskevich,Andrey;Verchinine,Konstantin:系统SAD中的定理证明与证明验证(2004)