The Leo-III Project

The Leo-III Project
复制标题

利奥三号计划

DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Christoph Benzmüller
Christoph Benzmüller
中科院分区：
--
文献类型：
--
作者：
M. Wisniewski;A. Steen;Christoph Benzmüller

文献摘要

被引文献

相似文献

LEO-II是一个基于解析的经典高阶逻辑定理证明器，目前正在英国剑桥大学的一个为期一年的研究项目中开发，该项目得到了德国萨尔兰大学的支持。我们简要介绍了该项目的主要目标。LEO-II项目由EPSRC在EP/D 070511/1号赠款下资助。
LEO-II, a resolution based theorem prover for classical higher-order logic, is currently being developed in a one year research project at the University of Cambridge, UK, with support from Saarland University, Germany. We briefly discuss the main objectives of the project. The LEO-II project is funded by EPSRC under grant EP/D070511/1.