• 佩斯卡

  • 116篇参考文献[SW13664 ]
  • PSCEA =证明编辑器相继的 微积分Pesca是一个有助于建筑的项目。中的证据相继的 微积分. 它既作为一个证明编辑器和作为一个自动…
  • 莱坦普

  • 36篇参考文献[ SW099 85 ]
  • A的实现相继的 微积分. 他证明了这一点的正确性和完整性。微积分. 因为…之间的对应关系相继的 微积分程序LeANAP是显而易见的,这又构成了…莱坦普其次,作者概括了相继的 微积分模态逻辑K和草图…这个完整性的证明相继的 微积分. 然后,作者对相继的 微积分
  • 阿贝拉

  • 46篇参考文献[SW09461 ]
  • 微积分,A的可容许性相继的 微积分类型唯一性和主题约简性质。
  • 凯玛拉

  • 37篇参考文献[SW03709]
  • KeYmaera实现广义自由变量相继的 微积分和自动证明策略分解…
  • 贝德维尔

  • 20篇参考文献[SW09460]
  • 失败可以被捕获在相继的 微积分通过定义定义的推理规则…结果,证明在这样的搜索相继的 微积分可以捕捉简单的模型检查问题…
  • 多原木

  • 17篇参考文献[SW06604]
  • 一阶逻辑并产生一个逻辑相继的 微积分一个自然演绎系统和子句构成…
  • 塔克

  • 7篇参考文献[SW0945 5]
  • 搜索中涉及的决定论相继的 微积分校样。我们提出了一个焦点证明系统…
  • 普赛克

  • 3篇参考文献[SW28 518]
  • 基于证据的搜索引擎相继的 微积分具有LCF风格的架构。心灵…演绎:它代替焦点相继的 微积分对于极化的经典逻辑。最后,心理特征。
  • 阿格雷

  • 4篇参考文献[SW13305]
  • 基于焦点的搜索过程相继的 微积分为了减轻建造证明的负担…
  • 无溶剂

  • 4篇参考文献[SW13302]
  • 证明项是一种相继的 微积分推导和迄今只打印…
  • 铟镓铟镓

  • 2篇参考文献[SW24227 ]
  • 基于A的直觉命题逻辑相继的 微积分由于科西和Tassi的历史…
  • 最小对数

  • 2篇参考文献[SW30424]
  • 基于无割的过程相继的 微积分这些系统的配方。而方法…
  • 德克微积分

  • 1篇参考文献[SW28 63]
  • LK版本相继的 微积分碎片可作为Scala jar文件(这些有…Linux和MACOS:DEAK-微积分-工具,相继的-微积分工具
  • GAN2SAT

  • 1篇参考文献[SW1675]
  • 用A给出的逻辑相继的 微积分. 它有助于研究的方向…解析纯的可导性的约简相继的计算到SAT.这也使得GAN2SAT…
  • LogEXTEX

  • 1篇参考文献[SW3262]
  • 一阶经典逻辑相继的 微积分在和潘多拉一样的传统中,…
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 杂种

  • 14篇参考文献[SW0421]
  • 混合:一个用于高级语法的包…
  • 奥特

  • 29篇参考文献[SW0663]
  • 全规模编程语言的语义定义是…