• 乐高

  • 引用107篇文章[sw09685]
  • 爱丁堡逻辑框架(LF)微积分属于结构(CC),广义微积分属于结构...
  • 佩斯卡

  • 引用130篇文章[sw13664]
  • 这有助于建设连续的证据微积分. 这两种方法都有效。。。自动定理证明器。校样构建在佩斯卡都能在终点站看到。。。
  • 随机的

  • 引用15篇文章[sw18346]
  • 有这样的解决方案和程序建造高效的高阶随机数值格式。枫树。。。符合确定性规则微积分. 这个建设手算的高阶方案。。。
  • 霍尔布吉

  • 在14篇文章中引用[sw00409]
  • 顺序逻辑。\parIts验证条件--构建通过wp微积分从这些注释中——通常是。。。
  • 交易人

  • 参考6篇文章[sw20929]
  • 示例的数量。这个τ-微积分合并构造分布式进程可以用来创建。。。τ-微积分,并正式规定以下安全性和活力。。。
  • 皮杜

  • 引用21篇文章[sw01418]
  • 控制构造基于米尔纳的异步pi微积分. 运行时环境支持。。。
  • 奶牛

  • 引用51篇文章[sw06955]
  • web服务的编排。我们介绍奶牛(微积分对于Web服务的编排。。。建模命令和编排的表现力构造,例如web服务、流程图、故障。。。
  • DCVALID公司

  • 在14篇文章中引用[sw20416]
  • 离散时间持续时间微积分(QDDC)。对于每一个D级方程式建造有限状态自动机。。。
  • 教堂

  • 引用了50篇文章[sw08946]
  • 基于lambda的Lisp模型微积分,包含一个纯Lisp作为其确定性。。。历史。教会还包括一种新颖的语言建造,随机回忆录器,可以简单的描述。。。
  • 奥斯卡

  • 引用44篇文章[sw26328]
  • 理智地推理。本文描述了建设一个通用的可推翻的推理机。。。像谓词这样丰富的逻辑微积分不能像传统的定理证明器那样工作。。。恢复结论。它展示了如何建造一个推理者,在一定的现实条件下。。。
  • CoqMT公司

  • 参考6篇文章[sw19139]
  • 证明。CoqMT比微积分同余归纳的结构通过摆脱各种。。。
  • 滑雪

  • 引用2篇文章[sw25433]
  • 级别是建设性的,条款λ-微积分构建在求证过程中。这些提取的。。。
  • 图拉费

  • 在14篇文章中引用[sw00986]
  • 图拉法语言是以圆周率为基础的微积分(用于编写运行的SOAP处理器的集合。。。express SOAP消息)、逻辑谓词(to建造和过滤SOAP消息),以及通信断言。。。实现将TulaFale编译成应用的pi微积分,然后运行布兰切特的基于分辨率的。。。
  • 胖子

  • 引用2篇文章[sw26321]
  • 类似于微积分属于结构(科昆德和休特)。它的能力。。。
  • 无效

  • 在10篇文章中引用[sw20417]
  • 公式。持续时间微积分是一个密集的时间间隔时间逻辑构造允许测量。。。
  • 科克姆图

  • 引用3篇文章[sw19138]
  • 复型理论微积分归纳的结构有一个宇宙的预言等级。。。
  • 模板Coq

  • 引用3篇文章[sw27569]
  • 处理整个微积分归纳的结构(CIC),由Coq实现,包括内核。。。
  • 计划

  • 引用13篇文章[sw22065]
  • 微积分并提供一组受限的基元和数据类型。计划定义了一个特殊的建造...