The CADE-25 Automated Theorem Proving system competition – CASC-25

机译：CADE-25自动定理证明系统竞赛 - CASC-25

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Geoff Sutcliffe; Josef Urban;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The CADE-25 Automated Theorem Proving system competition - CASC-25 [J] . Sutcliffe Geoff, Urban Josef AI communications . 2016,第3期

机译：CADE-25自动定理证明系统竞赛-CASC-25
2. The CADE-27 Automated theorem proving System Competition - CASC-27 [J] . Sutcliffe Geoff AI communications . 2019,第5a6期

机译：CADE-27自动定理证明系统竞争 - CASC-27
3. The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9 [J] . Sutcliffe Geoff AI communications . 2018,第6期

机译：第九届IJCAR自动定理证明系统竞赛-CASC-J9
4. The CADE-25 ATP System Competition CASC-25 [C] . Geoff Sutcliffe International conference on automated deduction . 2015

机译：CADE-25 ATP系统竞赛CASC-25
5. Contributions to automated theorem proving and formal methods with applications to control systems. [D] . Mackling, Thomas Hal. 1997

机译：对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
6. Formal reasoning about systems biology using theorem proving [O] . Adnan Rashid, Osman Hasan, Umair Siddique, 2011

机译：使用定理证明关于系统生物学的形式推理
7. V.M. Glushkov and automated theorem proving in Ukraine: evidence algorithm evidence algorithm and SAD systems [O] . O.V. Lyaletski 2020

机译：v.M. Glushkov和乌克兰的自动定理证明：证据算法证据算法和悲伤系统
8. Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper [R] . Schumann, Johann 1999

机译：将自动定理证明与符号代数系统相结合：立场文件

The CADE-25 Automated Theorem Proving system competition – CASC-25

著录项

相似文献

相关主题

期刊订阅