-
佩斯卡
- 在129篇文章中引用[sw13664]
- PESCA=校对编辑顺序 微积分:Pesca是一个帮助建设。。。证明顺序 微积分. 它既可以作为校对编辑,也可以作为自动。。。
-
leanTAP公司
- 在38篇文章中引用[sw09985]
- a的实施顺序 微积分. 他证明了这一点的正确性和完整性微积分. 因为。。。通信顺序 微积分而程序leanTAP是显而易见的,这反过来构成。。。leanTAP公司。接下来,作者概括了顺序 微积分对模态逻辑K和草图。。。这是完整性的证明顺序 微积分. 然后,作者将顺序 微积分...
-
凯玛拉
- 在39篇文章中引用[sw03709]
- KeYmaera实现了一个广义的自由变量顺序 微积分自动证明策略分解。。。
-
贝德维尔
- 引用21篇文章[sw09460]
- 故障可以在顺序 微积分通过合并推理规则来定义。。。结果,在这样一个顺序 微积分可以捕获简单的模型检查问题。。。
-
心理
- 引用5篇文章[sw28518]
- 基于顺序 微积分具有LCF风格的体系结构。心灵。。。推论:它使用的是顺序 微积分对于极化的经典逻辑。最后,Psyche的特征。。。
-
迪克微积分
- 1条引用[sw28673]
- LK版本顺序 微积分片段作为scalajar文件提供(这些文件有。。。Linux和macOS):DEAK-微积分-工具,顺序-微积分-工具。。。
-
绅士
- 1条引用[sw33688]
- 使用Gentzen风格构造大量的派生词顺序 微积分,提供了自动化流程的想法。。。二者之间的联系顺序 微积分而tableau方法。。。