• MIZ3

  • 10篇参考文献[SW1863]
  • 合成程序的声明的风格交互式定理证明。我们提出了一个综合…交互式定理证明:程序的 风格(何处)校样是命令的脚本,像…正式写作校样就像普通数学文本一样程序的 风格-强大的自动化和帮助…其中的方式程序的声明的证明 风格以前已经结合过…
  • 克里普克

  • 8篇参考文献[SW01162]
  • 给定希尔伯特风格在[1 ]中详细研究了公理化定理。通过放弃公理…适当的词汇)决定程序这些逻辑中的每一个都描述了递归的方式…从A中构造证明-搜索将包含子树…
  • 普赛克

  • 3篇参考文献[SW28 518]
  • LCF微积分风格建筑心灵是模块化的证明-搜索引擎设计…正确性和完整性证明搜索它通过提供第二…心理特征是呼叫决策的能力。程序例如在SAT模中使用的那些…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • SATLIB

  • 57篇参考文献[SW02107]
  • SATLIB是基准问题的集合,求解器…
  • CASL

  • 168篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 水獭

  • 312篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…