小猎犬

Beagle——一个层次叠加定理证明器。Beagle是一阶逻辑模内建理论的自动定理证明器。它实现了层次叠加演算的改进版本。本系统描述了Beagle的证明过程、背景推理设施、实现和实验结果。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换