学术搜索
科研智能体
- Research Labs
- AI 阅读
- AI 文库
- AMiner 沉思
- AMiner 亮点
学术资源
- AI2000
- 期刊/会议
- 学者库
- 学术API
- 溯源树
- 数据集
知识沉淀
- 学术空间

订阅小程序

旧版功能

aminer vip

开通会员低至0.73元/天

一次搞定AI科研

立即登录

Proof Development with Ωmega | AMiner

Proof Development with Ωmega

Jörg Siekmann,Christoph Benzmüller,Vladimir Brezhnev,Lassaad Cheikhrouhou,Armin Fiedler,Andreas Franke,Helmut Horacek,Michael Kohlhase,Andreas Meier,Erica Melis,Markus Moschner,Immanuel Normann,Martin Pollet,Volker Sorge,Carsten Ullrich,Claus-Peter Wirth,Jürgen Zimmer

Lecture Notes in Computer Science（2002）

Universität des Saarlandes

被引用80|浏览4

摘要

The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group.

更多

查看译文

关键词

Residue Class,Natural Deduction,Constraint Solver,Proof Assistant,Proof Tree

上传PDF

原文链接

分享

引用

加入学术空间

AI Read Science

数据免责声明

页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果，我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问，可以通过电子邮件方式联系我们：report@aminer.cn

Chat Paper

正在生成论文摘要

AI Read Science

溯源树

样例

生成溯源树，研究论文发展脉络