×

比格尔犬

swMATH ID: 13649
软件作者: 彼得·鲍姆加特纳(Peter Baumgartner);约书亚·巴克斯(Joshua Bax);乌韦州瓦尔德曼
描述: Beagle–层次叠加定理证明程序。Beagle是一个一阶逻辑模内建理论的自动定理证明器。它实现了层次叠加演算的改进版本。本系统描述的重点是Beagle的证明过程、背景推理设施、实现和实验结果。
主页: http://link.springer.com/chapter/10.1007%2F978-3-319-21401-6_25
相关软件: z3(零3);TPTP公司;iProver(iProver);SPASS+T系列;VAMPIRE公司;简化;CVC4型;SMT-LIB公司;睫毛;戈兰;大锤;Nitpick公司;超小卫星;Why3号机组;迪杜克蒂;布吉;ArchSAT公司;CoqInE公司;竖琴;CoqMT公司
引用于: 3文件

连载1篇

1 自动推理杂志

按年份列出的引文