希律王

希律与彼拉多:基本混合逻辑的两个表证法。这项工作提出了两个基本混合逻辑HL(@)的证明器,其实现的目的是比较Bolander和Blackburn[3]和Cerrito和Cialdea-Mayer[5]分别独立提出的内部化表计算。本文报告了实验结果,从实用的角度评价了两种结石名义相等性的不同处理方法。

此软件的关键字

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