• 蝇斑

  • 102篇参考文献[SW1027 7]
  • 主要用于辅酶Q 定理 证明者我们证明了系统本身…
  • C型玉米

  • 34篇参考文献[SW0672]
  • 建设性的辅酶Q在奈梅亨,C玉米仓库,旨在建立一个基于计算机的图书馆…形式化数学,形式化定理 证明者 辅酶Q. 背景:有很多数学…想要使用辅酶Q这是建设性的定理 证明者,但主要是因为建设性的数学…
  • CTCOQ

  • 13篇参考文献[SW0972]
  • 提供一个工作环境辅酶Q 定理 证明者. 它已经开发如下…
  • 地理视野

  • 9篇参考文献[SW12328 ]
  • 组合的工具辅酶Q 定理 证明者用动态几何绘图工具开发了GePrimJ…构造证明并验证辅酶Q 定理 证明者. 动态图形是自动关联的…
  • 韦尔夫姆

  • 6篇参考文献[SW1386]
  • 框架使用辅酶Q互动定理 证明者. 它包括多个操作语义…设计中,我们从中提取解释器。辅酶Q可以从……执行程序的形式语义。
  • 维里斯塔尔

  • 3篇参考文献[SW0933]
  • 有效率的检查静态分析定理 进步者现在在正式的范围之内…嵌入式函数编程语言辅酶Q 定理 证明者. 通过机器检查,我们的意思是…证明辅酶Q证明者说“有效”,被检查的蕴涵持有…意味着当静态分析+定理 证明者C小调节目是安全的…
  • GMETA

  • 2篇参考文献[SW10110]
  • 通用基础设施在辅酶Q 定理 证明者. 此外,由于GMETA的模块化…
  • 泽农

  • 20篇参考文献[SW0653]
  • 校样。我们提出ZENON,一个自动化的定理 证明者对于一阶经典逻辑(具有相等…Zeon打算成为专用的证明者在焦点环境中,面向对象的…执行OCAM代码辅酶Q认证代码。Zeon可以直接生成…
  • 甲基丙烯酸甲酯

  • 13篇参考文献[SW13075 ]
  • 用于类型化策略编程的单元格辅酶Q. 有效支持自定义证明自动化是必不可少的…陪同的基本逻辑定理 证明者或者(b)依靠先进的类型理论机器…建立定理我们提出MTAC,一个轻量级但强大的扩展到辅酶Q支持…
  • MIZ3

  • 10篇参考文献[SW1863]
  • 证明是命令的脚本,就像在辅酶Q和陈述式(证明)程序交互定理 证明者,不管它的架构和逻辑基础。展现活力…
  • 校对树

  • 1篇参考文献[SW17593]
  • A的发展定理 证明者. 目前正在开发辅酶Q证据一般…
  • 拱座

  • 1篇参考文献[SW32 252]
  • ArchSAT:一阶定理 证明者具有形式证明输出。ARSAT是一个实验性的SMT/MCSAT…对各种形式证明格式的证明:辅酶Q证明脚本,辅酶Q证明项,证明…
  • 埃克斯特拉托

  • 1篇参考文献[SW32250]
  • 经常调用自动化定理 进步者证明子目标。然而,每一个证明者有自己的证明…翻译成各种证明助理:辅酶Q,HOL,瘦肉,马蒂塔,PVS。我们实现了一个工具…在DeDuTI中使用自动化重建完全证明进步者能够产生DukkTi证明像ZenonModulo…证明者产生痕迹,并且可以使用不同的进步者生产证据证明…
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • 辅酶Q是一个正式的证明管理系统。IT