希律王

希律与彼拉多:基本混合逻辑的两个表证法。这项工作提出了两个基本混合逻辑HL(@)的证明器,其实现的目的是比较Bolander和Blackburn[3]和Cerrito和Cialdea-Mayer[5]分别独立提出的内部化表计算。从实际出发,从两个不同的角度对实验结果进行了评价。

此软件的关键字

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