首页> 外文OA文献 >The Use of Planning Critics in Mechanizing Inductive Proofs

【2h】

The Use of Planning Critics in Mechanizing Inductive Proofs

机译：规划评论家在机械化归纳证明中的运用

页面导航

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

著录项

作者
Andrew Ireland;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Divergence Critic for Inductive Proof [J] . Walsh T. The Journal of Artificial Intelligence Research . 1996,第12期

机译：归纳证明的发散评论
2. A mechanized refinement proof of the Chase-Lev deque using a proof system [J] . Mutluergil Suha Orhun, Tasiran Serdar Computing . 2019,第1期

机译：使用证明系统对Chase-Lev deque进行机械化的改进证明
3. Proof Pearl-A Mechanized Proof of GHC's Mergesort [J] . Christian Stemagel Journal of Automated Reasoning . 2013,第4期

机译：珍珠证明-GHC的Mergesort机械化证明
4. Extensions to a Generalization Critic for Inductive Proof [C] . Andrew Ireland, Alan Bundy International conference on automated deduction . 1996

机译：对归纳证明的概括批评者的扩展
5. AGRICULTURAL MECHANIZATION COMPETENCIES NEEDED BY SELECTED LOUISIANA FARMERS WITH IMPLICATIONS FOR PROGRAM PLANNING IN ADULT EDUCATION. [D] . WEBER, RICHARD CLARENCE. 1972

机译：选定的路易斯安那州农民所需的农业机械化能力，对成人教育中的计划制定具有影响。
6. Tactics for mechanized reasoning: a commentary on Milner (1984) ‘The use of machines to assist in rigorous proof’ [O] . M. J. C. Gordon -1

机译：机械化推理的策略：评论米尔纳（1984）使用机器协助严格证明
7. Extensions to a generalization critic for inductive proof [O] . Ireland, A., Bundy, Alan 1996

机译：对归纳证明的泛化批评者的扩展
8. Mechanizing Proof Theory: Resource-Aware Logics and Proof Transformations toExtract Implicit Information [R] . Bellin, G. 1990

机译：机械化证明理论：资源意识逻辑和证明转换提取隐含信息

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号