• 主汽阀

  • 引用4篇文章[sw31710]
  • 它是投影 世俗的 逻辑(PTL)。具体地说,我们用。。。
  • 可编程逻辑控制器

  • 1条引用[sw14776]
  • 命题符号模型检验器投影 世俗的 逻辑. 现有模型的形式化规范语言。。。计算树逻辑(CTL)和线性世俗的 逻辑(LTL)不足以描述。。。命题的设计与实现过程投影 世俗的 逻辑(PPTL)符号模型检查器(PLSMC。。。
  • TRP公司++

  • 引用15篇文章[sw14679号]
  • 命题线性时间世俗的 逻辑基于世俗的解析微积分。它是在。。。稍后)。的主要目标项目是一个相对健壮的版本。。。命题的小句消解法世俗的 逻辑;创建一个实验环境来尝试不同的修改。。。
  • 偿付能力资本要求

  • 引用19篇文章[sw06939]
  • 方法已成功地应用于许多领域项目令人惊讶的是,组织需要明确。。。逻辑通过两个符号pred和succ。这是一阶的轻微延伸逻辑允许。。。简单,避免了世俗的 逻辑...
  • 神秘人

  • 1条引用[sw21963]
  • 视听注释工具由项目电子表演艺术图书馆。这个。。。他们和其他视听对象一起通过世俗的符合逻辑的关系。因此,用户可以连接。。。
  • 生物图像xD

  • 引用2篇文章[sw18624]
  • 三维显微镜图像。这是一次合作项目,由显微镜学家,细胞生物学家设计和开发。。。用于多通道的简单可视化世俗的图像堆栈到复杂的三维渲染。。。数学和符合逻辑的加工和降噪。分析工具包括。。。
  • 围裙

  • 引用66篇文章[sw00045]
  • 围裙:一个数字抽象领域的图书馆。。。
  • ACL2

  • 引用274篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 男爵

  • 引用305篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 网络X

  • 引用90篇文章[sw00616]
  • NetworkX(NX)是一个Python包,用于。。。