• CSP校准仪

  • 引用15篇文章[sw11465]
  • Prover提供了两种经典的指称方法语义学完全偏序理论。。。一般定理证明者Isabelle,使用逻辑... 复杂。在这里面逻辑,语法以及语义学CSP已编码。。。
  • 逆合成孔径雷达

  • 引用138篇文章[sw04599]
  • 证明文件旨在弥补语义的内部证据概念之间的差距。。。完全独立于潜在的逻辑,并集成了广泛的自动证明方法。。。
  • 斯波克

  • 5篇参考文献【sw30413】
  • 的调试支持工具逻辑答案集下的程序语义学. 答案集编程。。。新兴的逻辑-严格区分问题描述和解决的编程范式。。。方法。尽管语义的优雅,ASP遭受缺乏对程序开发人员的支持。。。调试跟踪技术逻辑答案集下的程序语义学看起来很不自然,因为。。。
  • 电影

  • 3篇参考文献[sw27497]
  • 基于因果拒绝的更新语义学赋予动态的意义逻辑程序(DLP),它。。。顺序逻辑更新前面的程序。虽然有。。。这些更新下的DLP翻译语义学逻辑答案集编程程序。。。在某种意义上解决逻辑程序给出了一个答案。。。
  • 百万吨

  • 引用46篇文章[sw07136]
  • 可互操作,因此具有可比性。此外,MMT定义逻辑-形式良好和等价的独立概念。。。不知道语义学处理过的知识。。。
  • 普罗梅拉

  • 30篇参考文献[sw07635]
  • 作战大纲语义学普罗梅拉。PROMELA是一种高级规范语言。。。分布式系统中的交互,以及用于表达符合逻辑的此类交互的正确性要求。模型。。。文件包含了一个行动的大纲-语义学PROMELA的定义。。。
  • 雅戈

  • 引用了43篇文章[sw11909]
  • 如个人、组织、产品等语义的在数量上通过增加。。。大约95%。雅戈尔基于逻辑上干净的模型,它是可决定的,可扩展的。。。
  • HOL-OCL公司

  • 21篇参考文献[sw05734]
  • 秩序逻辑,我们探讨了正式设计的几个关键问题语义学...
  • 折叠式

  • 4篇参考文献[sw28611]
  • 包括一阶语法逻辑,其语义学模型存在定理,一个自然的。。。
  • SCEL公司

  • 16篇参考文献[sw20779号]
  • 固体语义的语言的基础是为了发展而开发的逻辑学,工具和方法。。。
  • 质量管理

  • 19篇参考文献[sw07137]
  • 特别符合逻辑的形式主义。QMT可以整合各种搜索范式,比如统一,语义的...
  • 姆兰科普

  • 6篇参考文献[sw21522]
  • 一阶模态的自动定理证明器逻辑. 证据搜索是基于。。。统一,它捕获了克里普克语义学不同模态逻辑学. MleanCoP在Prolog中实现。。。
  • 很酷

  • 4篇参考文献[sw11992]
  • 多种模态逻辑学,超越关系语义学. 酷的核心是高效。。。使用全局缓存的tableaux搜索过程。混凝土逻辑学通过实现相应的。。。
  • RT-ASLAN公司

  • 6篇参考文献[sw30491]
  • 写作程序结构语义学在非程序中符合逻辑的语言,突出显示。RT-ASLAN。。。
  • ACTLW公司

  • 7篇参考文献[sw21031]
  • Vaandrager,行动对逻辑学对于过渡系统,在:语义学同时进行的程序,程序。。。显示检查。这个新的逻辑以一个验证实例说明。。。
  • 托耶利姆

  • 3篇参考文献[sw09900]
  • 取命题公式的函数逻辑用投影和边界的运算符扩展。。。根据不同的语义学属于逻辑编程可以表达和集成。。。
  • 配对

  • 10篇参考文献[sw11873]
  • 符合逻辑的矩阵测试器逻辑研究。它采用矩阵法。。。有限矩阵。语义上把一系列连接词定义为符合逻辑的矩阵,带。。。
  • iProver公司

  • 引用47篇文章[sw09707]
  • Inst-Gen微积分,一阶完成逻辑. iProver的一个显著特点是。。。实现技术,如索引、冗余消除,语义的选择和饱和算法。已实现冗余消除。。。
  • Veriflog公司

  • 4篇参考文献[sw08941]
  • 约束逻辑验证网站内容的编程方法。网站语义的内容验证。。。语法验证和语义的基于逻辑编程语言XCentric。高声明性的。。。半结构化数据为语义的错误检测。结果很简单。。。