首页> 外文OA文献 >leanT A P : lean, tableau-based theorem proving

【2h】

leanT A P : lean, tableau-based theorem proving

机译：leanT A P：基于Tableau的精益定理证明

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bernhard Beckert; Joachim Posegga; Universität Karlsruhe;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. CSL- lean: A Theorem-prover for the Logic of Comparative Concept Similarity [J] . Régis Alenda, Nicola Olivetti, Gian Luca Pozzato Electronic Notes in Theoretical Computer Science . 2010,第1期

机译：CSL- lean ：比较概念相似性逻辑的一个定理证明
2. leanCoP: lean connection-based theorem proving [J] . Jens Otten, Wolfgang Bibel urnal of Symbolic Computation . 2003,第1a2期

机译：leanCoP：基于精益连接的定理证明
3. An Insight into NTP (Neural Theorem Provers) in the Context of Image Processing Algorithms R&D - A Simple Suggestion and Short Communication on Exploring HO List and DeepHOL: Machine Learning (ML) of Higher Order Theorem Proving [J] . Nirmal Tej Kumar International Journal of Applied Research on Information Technology and Computing . 2020,第1期

机译：在图像处理算法的背景下对NTP（神经理定理）的洞察 - 探索HO列表和深脑的简单建议和短期通信：高阶定理的机器学习（ML）证明
4. The Tableau-based Theorem Prover _3T~AP Version 4.0 [C] . Bernhard Beckert, Reiner Haehnle, Peter Oel, International conference on automated deduction . 1996

机译：基于Tableau的定理箴言_3T〜AP 4.0版
5. Using experimental mathematics to conjecture and prove theorems in the theory of partitions and commutative and non-commutative recurrences. [D] . Russell, Matthew Christopher. 2016

机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
6. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [O] . Sunny Raj, Faraz Hussain, Zubir Husein, 2017

机译：自动合成流式细胞仪数据可视化的定理证明方法
7. Tableau-based theorem proving for a conditional logic [O] . Groeneboer Christine 1987

机译：基于Tableau的定理证明条件逻辑
8. Which Theorem Prover. A Survey of Four Theorem Provers [R] . Smith, A. 1990

机译：哪个定理证明。四种定理证明方法综述

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号