结果1至20108
排序依据：

  • 佩斯卡
  • 引用137篇文章[sw13664]
  • PESCA=校对编辑顺序 微积分：Pesca是一个帮助建设。。。证明顺序 微积分. 它既可以作为校对编辑，也可以作为自动。。。

  • leanTAP公司
  • 在38篇文章中引用[sw09985]
  • a的实施顺序 微积分. 他证明了这一点的正确性和完整性微积分. 因为。。。通信顺序 微积分而程序leanTAP是显而易见的，这反过来构成。。。leanTAP公司。接下来，作者概括了顺序 微积分对模态逻辑K和草图。。。这是完整性的证明顺序 微积分. 然后，作者将顺序 微积分...

  • 阿贝拉
  • 引用49篇文章[sw09461]
  • 微积分，削减了顺序 微积分以及类型唯一性和主题约简属性。这个。。。

  • 凯玛拉
  • 引用41篇文章[sw03709]
  • KeYmaera实现了一个广义的自由变量顺序 微积分自动证明策略分解。。。

  • 贝德维尔
  • 引用21篇文章[sw09460号]
  • 故障可以在顺序 微积分通过合并推理规则来定义。。。结果，在这样一个顺序 微积分可以捕获简单的模型检查问题。。。

  • 多日志
  • 引用19篇文章[sw06604]
  • 一阶逻辑并产生一个顺序 微积分一个自然演绎系统，以及从句的构成。。。

  • 心理
  • 引用5篇文章[sw28518]
  • 基于顺序 微积分具有LCF风格的体系结构。心灵。。。推论：它使用的是顺序 微积分对于极化的经典逻辑。最后，Psyche的特征。。。

  • 塔克
  • 参考7篇文章[sw09455]
  • 与寻找有关的决定论顺序 微积分证明。我们提出了一个集中的证明系统。。。

  • 肩带
  • 引用4篇文章[sw13305]
  • 搜索程序，基于顺序 微积分，以减轻构造证据的负担。。。

  • 阿格索尔
  • 引用4篇文章[sw13302]
  • 证明条件是一种顺序 微积分到目前为止只有印刷品。。。

  • Gen2sat公司
  • 引用3篇文章[sw16745]
  • 用a表示的逻辑顺序 微积分. 它有助于研究。。。解析纯中可导性的约化顺序结石到卫星。这也使第二代卫星。。。

  • 国际历史
  • 引用3篇文章[sw24227]
  • 基于a的直觉命题逻辑顺序 微积分因为科西和塔西的历史。。。

  • 明洛
  • 引用2篇文章[sw30424]
  • 基于自由切割的程序顺序 微积分制定这些制度。而方法。。。

  • 迪克微积分
  • 1条引用[sw28673]
  • LK版本顺序 微积分片段作为scalajar文件提供（这些文件有。。。Linux和macOS）：DEAK-微积分-工具，顺序-微积分-工具。。。

  • 绅士
  • 1条引用[sw33688]
  • 使用大量禅宗风格的衍生顺序 微积分，提供了自动化流程的想法。。。二者之间的联系顺序 微积分而tableau方法。。。

  • 逻辑文本
  • 1条引用[sw32232]
  • 一阶经典逻辑顺序 微积分，和日本的传统一样，潘多拉。。。

  • ILTP
  • 在26篇文章中引用[sw00437]
  • 直觉逻辑定理证明（ILTP）库提供了。。。