• 莫德

  • 引用652篇文章[sw06233]
  • 支持两者的语言和系统等式重写逻辑一个广泛的规范和编程。。。可以看作是等式 逻辑亚语言。除了支持等式规范和编程。。。
  • 验证9

  • 参考171篇文章[sw04969]
  • 一阶和的定理证明器等式 逻辑,而Mace4搜索有限模型。。。
  • 目标3

  • 引用138篇文章[sw05370]
  • 基于顺序排序的证明系统等式 逻辑. 它已经成功地用于研究。。。
  • ITP公司

  • 引用31篇文章[sw09808]
  • 支持增量开发规范。会员等式 逻辑是一个富有表现力的版本等式 逻辑...
  • 香车叶草

  • 引用了43篇文章[sw19568]
  • 单位定理证明器等式 逻辑. 它的证明程序是可靠的Knuth Bendix完成[BDP89。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 高速重写系统等式 逻辑,但这里扩展了可执行的临时逻辑...
  • 数据发生器

  • 引用15篇文章[sw09904]
  • 重写的声明性调试逻辑规范。声明性调试是一种半自动的技术,它可以启动。。。找出错误。会员等式 逻辑(MEL)是一个等式 逻辑另外。。。方程允许一个人陈述成员公理来描述一类元素的特征。重写逻辑... 最不喜欢的等式重写子集逻辑以及重写和可到达的集合。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 证明一阶定理逻辑平等地。水獭的推理规则是基于。。。符号计算器等式编程系统。水獭是第四代阿贡人。。。抽象代数与形式化研究逻辑. 水獭和它的前辈已经被使用。。。
  • 雅帕

  • 引用18条[sw02739]
  • 基于等式 逻辑学知识通常用两种关系来表达:可推断性。。。这些关系下的各种各样等式理论。然而,每种理论都有其特定的算法。。。
  • 设备

  • 参考12篇文章[sw15620]
  • 一阶定理证明程序等式 逻辑. 它的优点是很好地实现了联想。。。匹配,多种策略等式推理和快速搜索。它似乎在表演。。。
  • AMRCLAW公司

  • 参考58篇文章[sw15478]
  • 各种新问题,包括双曲型方程不是守恒形式的问题。。。来源和功能术语逻辑上矩形曲线网格。开发的框架需要。。。
  • 库莫

  • 引用5篇文章[sw06963号]
  • 一级逻辑隐藏起来等式 逻辑包括归纳法和归纳法。库莫产生。。。
  • BMaude公司

  • 引用2篇文章[sw10135]
  • 走向行为伤德:行为会员等式 逻辑. 代数规范和代数规范如何集成。。。隐藏的排序语义par Maude的底层等式 逻辑,会员资格等式 逻辑,概括和增加。。。多排序和有序排序等式 逻辑学. 我们开发了一个隐藏的分类成员扩展。。。等式 逻辑给出了理论同时具有代数和余代数的条件。。。
  • 基瓦-2

  • 参考文献62篇[sw08987]
  • 易用性。KIVA-2方程数值解的程序很一般。。。为内燃机计算编写的逻辑因为这些规格可以很容易地修改。。。程序,我们详细描述方程文中给出了数值求解程序和结构。。。
  • 同行mcd

  • 引用3篇文章[sw23958]
  • 实施基于收缩的策略等式 逻辑模缔合性和交换性,具有协调性、简化性。。。
  • KBCV公司

  • 引用2篇文章[sw19459]
  • 生成(dis)证明等式 逻辑支持。最后,工具输出证明。。。
  • 佩索阿

  • 引用18条[sw20123]
  • 有差别的方程以及自动机和线性时间片段中的规范逻辑那个。。。
  • 罗佛根

  • 引用13篇文章[sw10954]
  • 多仿射微分方程式模型,动力学性质用线性时间表示逻辑以及不确定的参数。。。
  • 索伊辛

  • 引用3篇文章[sw06341]
  • 支持高阶逻辑,字母表,等式推理和“程序作为谓词”的风格。。。