• 乐高

  • 106篇参考文献[SW09685 ]
  • 爱丁堡逻辑框架(LF)微积分属于结构(CC),广义的微积分属于结构
  • 佩斯卡

  • 116篇参考文献[SW13664 ]
  • 这有助于施工序贯证明微积分. 它同时工作…自动定理证明器校样构建在Pesca都可以看到在终端…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 其次,它利用了建设性的 微积分第三,产生的证据…
  • 随机的

  • 15篇参考文献[SW1836]
  • 有这样的解决方案和例程建造有效的高阶随机数值格式。枫树…符合确定性规则微积分. 这个施工高阶格式的手…
  • 霍尔布吉

  • 14篇参考文献[SW0409]
  • 顺序逻辑.PARITS验证条件构建通过WP微积分这些注释通常是…
  • 交易者

  • 6篇参考文献[SW20929 ]
  • 实例数。TA-微积分合并建构哪些分布式进程可以用来创建…为TAU-提供操作语义微积分并将以下的安全和活力正式化……
  • 引诱

  • 20篇参考文献[SW01418]
  • 控制装置建构基于米尔纳的异步PI微积分. 运行时环境支持…
  • 奶牛

  • 51篇参考文献[ SW06955 ]
  • Web服务的编排。我们介绍奶牛(微积分用于Web服务的编排…既有命令又有配器的表现力建构,例如Web服务、流程图、故障…
  • dcValm

  • 14篇参考文献[SW20416]
  • 离散时间微积分(QDDC)。对于每一个公式D,我们建造一个有限状态自动机
  • 奥斯卡

  • 44篇参考文献[SW26328 ]
  • 不合理的理由。本文描述了施工一个通用的可废止推理机…关于谓语的丰富逻辑微积分不能像传统的定理证明器那样工作…恢复结论。它显示了如何建造一个推理者,受某种现实主义的影响…
  • 教堂

  • 45篇参考文献[SW08946]
  • 基于LAMBDA的LISP模型微积分,包含纯LISP作为其确定性…历史。教会还包括小说语言。建造随机记录器,能够简单描述…
  • 斯基尔

  • 2篇参考文献[SW25433 ]
  • 水平是建设性的α的项微积分构建在证明搜索过程中。这些提取…
  • 图拉法尔

  • 14篇参考文献[SW0986]
  • TulaFALE语言是基于PI微积分(用于编写运行的SOAP处理器集合)表示SOAP消息传递,逻辑谓词(to)建造和过滤SOAP消息,以及对应断言…实现将TulaFAL编译成应用PI微积分然后运行BLANSEET的分辨率为基础…
  • 辅酶QMT

  • 5篇参考文献[SW19139]
  • 校样。COQMT改进了微积分全等归纳法结构通过摆脱各种…
  • IDL有效性

  • 10篇参考文献[SW20417]
  • 公式。持续时间微积分是一个稠密的时间间隔时态逻辑建构允许测量…
  • 计划

  • 13篇参考文献[ SW22065 ]
  • 微积分并提供一组受限制的原语和数据类型。计划定义了一个特殊的建造
  • 超重力

  • 2篇参考文献[SW15670]
  • 玻色-费米外部封装微积分以及施工超重力作用。我们描述…
  • 立方

  • 5篇参考文献[SW17366]
  • 查询。约束的数据模型微积分是基于时空约束的…对象是构建通过约束进行操作和查询微积分. 模型…