基姆

KEIM:一个自动扣除的工具箱。KEIM是一个软件模块的集合,用通用Lisp和CLOS编写,设计用于实现自动推理系统。KEIM旨在被那些不需要编写整个框架就可以构建或使用演绎系统(例如解析定理证明器)的人使用。KEIM还适用于将推理组件嵌入另一个通用Lisp程序中。它提供了一系列实现类型论逻辑语言(高阶逻辑)的数据类型,其中一阶逻辑可以很容易地嵌入其中。KEIM的数据类型和算法包括:类型;术语(符号、应用、摘要);统一与替代;证明,包括解析和自然演绎风格。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 克伯,曼弗雷德:从MKRP到(\Omega)mega(2005)