• ETPS公司

  • 引用156篇文章[sw06302]
  • 一阶和高阶定理的证明逻辑交互的,自动的,或混合的。。。证明,将这些转化为自然演绎证明,建造自然演绎证明,翻译自然演绎证明。。。高阶逻辑. 它有一个公式编辑器,方便建造其他人的新配方。。。建造自然演绎证明已被用在ETPS的名称下逻辑课程。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 类型系统-爱丁堡合乎逻辑的框架(LF),微积分结构(CC),广义微积分。。。
  • 远端

  • 参考文献99篇[sw01746]
  • 基于图案距离建设性的多层阈值网络学习算法逻辑单位报价。。。模式分类系统的设计。一个新的建设性的神经网络学习算法(远端)为基础。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 一阶和高阶定理的证明逻辑交互的,自动的,或混合的。。。证明,将这些转化为自然演绎证明,建造自然演绎证明,翻译自然演绎证明。。。高阶逻辑. 它有一个公式编辑器,方便建造其他人的新配方。。。
  • 葡萄糖酶

  • 在122篇文章中引用[sw01555]
  • 计算的逻辑电路,蒙娜丽莎,等等。其他都是基于常规的数学结构这样。。。
  • JProver公司

  • 引用13篇文章[sw09978]
  • 具有表现力的交互式校对助手建设性的 逻辑学. 本文简要介绍了JProver。。。
  • 光环

  • 在10篇文章中引用[sw11482]
  • 整数和递归函数)和授权逻辑 构造(例如,主体和访问控制策略。。。
  • 莱布尼兹

  • 引用32篇文章[sw12871]
  • 的方面建设具有以下模块的系统:-逻辑计算学习逻辑公式。。。
  • 无间隙

  • 在10篇文章中引用[sw08699]
  • 使用有限元库符合逻辑的 建设程序和存储分配。。。
  • 臀部

  • 27条引用[sw09786]
  • 堆操作程序。臀部是分开的逻辑基于自动验证系统的简单。。。每种方法/循环,HIP将建造一系列的分离逻辑证明义务的形式。。。
  • SMV公司

  • 引用13篇文章[sw04135]
  • 时态规范下的状态系统逻辑控制。输入语言。。。结构化数据类型也可以是构建. 这个逻辑CTL允许一个丰富的类。。。
  • TVLA公司

  • 参考33篇文章[sw09878]
  • 三值-逻辑分析仪)。TVLA是一个类似于“YACC”的框架,用于自动建造静态分析。。。其中使用符合逻辑的公式。TVLA已在Java中实现。。。
  • 查找

  • 引用82篇文章[sw21614]
  • 用过。描述了一种系统化的技术建造程序验证过程中。。。防止入侵符合逻辑的错误。终止证明被视为一个单独的。。。
  • 梅塔普利

  • 在26篇文章中引用[sw04624]
  • 用作符合逻辑的编程环境,其中程序构建作为各种规格的混合体。。。
  • 原因3

  • 引用130篇文章[sw04438]
  • 为什么3提供标准库符合逻辑的理论(整数和实数运算,布尔运算。。。为什么直接编程并通过-建设OCaml程序通过自动提取机制。。。
  • 无效

  • 在10篇文章中引用[sw20417]
  • 密集时间间隔时间逻辑具有构造允许测量时间量。。。在一个时间间隔内保持。间隔时间逻辑是它的变体模型是有限的。。。
  • 图拉费

  • 在14篇文章中引用[sw00986]
  • 语法(表示SOAP消息),符合逻辑的谓词(to建造过滤SOAP消息),以及通信。。。
  • RZ公司

  • 参考6篇文章[sw08944]
  • 通过在中转换规范进行编程建设性的 逻辑在目标Caml中添加注释的接口代码。。。
  • 乌尔德梅

  • 引用25篇文章[sw10400]
  • 模型交互环境建设. 核心模拟程序是逻辑上从模型中分离出来。。。
  • 表格

  • 引用18条[sw11674]
  • 模态分析方法逻辑学因为我们相信建设他们提供代表也许。。。