• github

  • 1184篇参考文献[SW23 170]
  • GITHUB(最初称为逻辑的令人敬畏的LLC)[ 3 ]是一个基于网络的托管服务…
  • 莫德

  • 651篇参考文献[SW06263]
  • 支持等式和重写的系统逻辑广泛的规范和编程…可以看作是等式逻辑副语言。除了支持等式规范和编程…Maude还支持改写逻辑计算。。。
  • 伊莎贝尔

  • 593篇参考文献[SW044]
  • a中公式的证明工具符合逻辑的微积分。主要应用是形式化…
  • Z-树

  • 558篇参考文献[SW11707]
  • 兼具灵活性逻辑互动和视觉表现,允许…
  • 水獭

  • 310篇参考文献[SW02904]
  • 证明一阶定理逻辑平等的。水獭的推理规则是基于…抽象代数与形式化研究逻辑. 水獭及其前身已被使用…有限半群的区域,三元布尔代数,逻辑组合结石逻辑群理论、格理论…
  • 霍尔

  • 476篇参考文献[SW054 92]
  • 高阶逻辑(HOL)是一个可以证明定理的编程环境…
  • 数据记录仪

  • 277篇参考文献[ SW200 23 ]
  • DATALOG是一种声明性的。逻辑语法上的编程语言是PROlog的子集…起源可以追溯到逻辑编程,但它变得突出…Jack Minker组织了一个研讨会逻辑和数据库。〔2〕David Maier被誉为…
  • 霍尔灯

  • 285篇参考文献[SW0680]
  • 经典高阶交互式证明助手逻辑,旨在作为一个干净和简化的版本…清洁简单设计极少符合逻辑的内核。尽管如此,它提供了有力的证据…
  • 棱镜

  • 393篇参考文献[SW01186]
  • 针对概率时间写的规范逻辑学PCTL和CSL。该工具的特点是三…
  • 模特儿

  • 238篇参考文献[SW04631]
  • 正规模型的稳定语义逻辑程序ASP的基本理念是编码…一个问题的约束逻辑程序使答案集(稳定模型)…让问题解决逻辑程序引擎找到答案集…
  • 吸血鬼

  • 227篇参考文献[SW0918]
  • 一阶经典定理自动证明器逻辑. 它由一个外壳组成…完全一阶问题逻辑语法,使它复杂化并执行一个数字…
  • NQTHM

  • 146篇参考文献[SW075 43]
  • 计算的逻辑手册。这本书是同一作者的前一本书的续篇,题为…计算的逻辑“(1979;ZBL 448.68020)。自从定理证明以来真正重要的变化…定理证明器中的重大变化逻辑本身就是函数的有效使用…逻辑作为建立其健全性和许可的新证明程序……
  • 电除尘器

  • 152篇参考文献[SW06302]
  • 一阶自动定理证明器逻辑类型理论。后者…一阶与高阶定理的证明逻辑交互地、自动地或混合地…高阶统合问题的求解逻辑. 它有一个公式编辑器,便于构建…以ETPS的名义使用逻辑在卡耐基梅隆的一些课程…
  • E定理证明器

  • 182篇参考文献[SW10187]
  • 完全一阶定理证明器逻辑平等的。它接受一个问题规范,通常…一阶友好推理系统逻辑. 证明人成功参加了许多比赛。
  • 低周疲劳寿命

  • 157篇参考文献[SW08360]
  • 爱丁堡LCF。机械化的逻辑计算。从LCF到HOL:一个简短的历史…高阶证明助手逻辑最初是为了推理硬件而开发的。2是多方面的…逻辑学. 米尔纳编写的代码至今仍在使用,并且硬件设计…
  • 斯帕斯

  • 173篇参考文献[SW04108]
  • 一阶自动定理证明器逻辑平等的。因此,证明者的输入…有效的,因为一阶的有效性逻辑是不可判定的,斯帕斯可能永远没有…
  • 果洛

  • 168篇参考文献[SW02159]
  • GOOG: A逻辑动态域的编程语言。本文提出了一种新的逻辑编程
  • 阿萨特

  • 168篇参考文献[SW02524]
  • 计算答案集的系统逻辑程序通过使用SAT求解器。简单地说…给地面逻辑程序P,ASAT(X),这取决于使用的SAT求解器X…