%0会议记录%T Beagle——层次叠加定理证明程序%彼得·鲍姆加特纳%A Bax，约书亚%乌韦，A Waldmann%Y Felty，Amy P。%阿尔特·米德尔多普%S自动扣除-CADE-25%D 2015年%I Springer国际出版公司%C查姆%@ 978-3-319-21401-6%传真：10.1007/978-3-319-21401-6_25%X Beagle是一个一阶逻辑模内建理论的自动定理证明程序。它实现了层次叠加演算的改进版本。本系统描述的重点是Beagle的证明过程、背景推理设施、实现和实验结果。%电话：367-377