防蛤蜊规划师。牡蛎是一个交互式的校样编辑器,它紧密地基于康奈尔大学的NuPRL系统,但在Prolog中实现。CLAM是一个建立在牡蛎之上的元级系统,它将交互式证明编辑器变成一个完全自动的定理证明系统。


zbMATH参考文献(39篇文章引用)

显示第39至第1个结果。
按年份排序(引用)
  1. Johansson,Moa:归纳引理的发现。调查(2019年)
  2. Boy de la Tour,Thierry;Peltier,Nicolas:《自动推理中的类比:一项调查》(2014年)
  3. Wirth,Claus Peter:计算机辅助的面向人类的归纳定理证明——宣言(2012)
  4. Monroy,Raúl;Bundy,Alan;Green,Ian:过程等价=CCS中的方程求解(2009)
  5. Korukhova,Yulia:函数程序的自动演绎综合方法(2007)
  6. Ireland,Andrew;Ellis,Bill J.;Cook,Andrew;Chapman,Roderick;Barnes,Janet:高完整性软件验证的集成方法(2006)
  7. Ireland,Andrew;Stark,Jamie:将证明计划与部分订单计划相结合,用于命令式程序综合(2006)ioport公司
  8. Ireland,Andrew;Stark,Jamie:将证明计划与部分订单计划相结合,用于命令式程序综合(2006)ioport公司
  9. 西格曼,Jörg;Benzmüller,Christoph;Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006)
  10. Zinn,Claus:支持数学文本的形式化验证(2006)
  11. Benzmüller,Christoph;Meier,Andreas;Sorge,Volker:桥接定理证明与数学知识检索(2005)
  12. 费德勒,阿明:自然语言证明解释(2005)
  13. 沃尔特,克里斯托夫;施维泽,斯蒂芬:关于不完全定义程序的推理(2005)
  14. 西格曼,Jörg;Benzmüller,Christoph:(\Omega)MEGA:计算机支持的数学(2004)
  15. 阿彻,玛拉:驯服:使用PVS策略证明特殊目的定理(2000)
  16. Boulton,Richard J.;Slind,Konrad:相互递归函数归纳法的自动推导和应用(2000)
  17. Dennis,L.A.;Bundy,A.;Green,I.:有效地利用未能从不同的证明尝试中产生共同推理的证人(2000)
  18. 爱尔兰,安德鲁;斯塔克,杰米:战略发展的验证计划(2000)
  19. 迈克.杰克逊;海伦.洛:系统描述:XBarnacle中的交互式证明批评家(2000)
  20. Walther,C.;Kolbe,T.:用重用证明定理(2000)