希律王 swMATH ID: 9445 软件作者： Marta Cialdea Mayer、Serenella Cerrito 描述： 希律和彼拉多：基本混合逻辑的两个表证明程序。这项工作提出了基本混合逻辑HL（@）的两个证明程序，其目的是比较分别由Bolander和Blackburn[3]以及Cerrito和Cialdea Mayer[5]独立提出的内部表演算。报告了实验结果，从实用的角度评估了两种结石标称相等的不同处理方法。 主页： http://cialdea.dia.uniroma3.it/herod/ 相关软件： 彼拉多；斯巴达克斯；HTab公司；HyLoTab标签；HGen公司；HyLoRes公司；西比尔；TPTP公司；SPASS公司；OCaml公司 引用于： 3文件 由4位作者引用 2 玛尔塔·恰尔迪亚·梅耶 1 帕特里克·布莱克本 1 托马斯·博兰德 1 塞里托、塞雷内拉 2篇连载文章中引用 1 自动推理杂志 1 逻辑与计算杂志 在2个字段中引用 三 数理逻辑与基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文