• SLMC

  • 70篇参考文献[SW04604]
  • 微积分系统对安全性、活跃性和结构的在并发的空间逻辑中表示的属性…至关重要的原因关于空间属性和结构的动力学。SLMC是目前唯一的…
  • 小脚

  • 52篇参考文献[SW0978]
  • 程序逻辑推理关于操作指针数据的程序结构. 我们描述Smallfoot…数据结构而不是他们的详细内容,这允许推理完全自动化…
  • 阿贝拉

  • 46篇参考文献[SW09461 ]
  • AbELA〔3〕是一个交互式系统。推理关于对象语言的方面…句法的结构. AbELA利用两级逻辑方法进行规范和推理. 一级…结构的语义规则也使它们能够执行。第二级,称为推理逻辑…
  • 白鲸

  • 23篇参考文献[SW01321]
  • 调查程序设计推理用数据结构这为粘合剂提供了支持。许多对象语言…
  • CP网

  • 129篇参考文献[SW01374]
  • NETs是表示和推理在条件不变的情况下,偏好语句…二值树类结构化的CP网,这是在基础上进行的…
  • Qube ++

  • 26篇参考文献[SW07666 ]
  • 第一QBF推理使用惰性数据的引擎结构单位条款传播…
  • 西塞特

  • 15篇参考文献[SW11407]
  • 求解器原因关于布尔结构. 我们评估我们的工具的效率…
  • 普莱姆

  • 38篇参考文献[SW04023 ]
  • 埃米特特征值问题具有显著的理论意义。结构这允许高效和稳定的算法…本征对。这可能是其中之一。原因启用了需要解决方案的应用程序…计算需求达到前所未有的水平。材料科学,结构的工程和一些QCD应用程序常规计算…
  • 毕克麦克

  • 65篇参考文献[SW1053]
  • 好。在A中得到了精确解。合理的时间对于任何大小的例子…密度。关于一些特殊问题结构我们可以解决更大的问题类…
  • 链状链

  • 8篇参考文献[SW120 58]
  • 能够处理大数据的软件结构合理的有效性,主要目的是…
  • 火炬灯

  • 4篇参考文献[SW13534 ]
  • 从“硬”域。通过总结结构的 原因为了分析故障,火炬灯也提供诊断…
  • UG

  • 185篇参考文献[SW0496]
  • 商业代码使用它们。有两个原因为此。首先,多重网格解…本文介绍了软件设计。结构UG和探索一些…
  • 超验

  • 23篇参考文献[SW22172]
  • 学习分析原理的系统推理证明结构,由文本组成…结构句子的它也反映了日常生活中遇到的信息的异质性。推理
  • 拉达

  • 4篇参考文献[ SW20732 ]
  • 复杂数据的功能实现结构并且原因关于保护应用程序,确定是否…
  • 吉菲

  • 33篇参考文献[SW12110]
  • 假设,直观地发现模式,孤立结构数据采集过程中的奇异性或故障…交互接口现在被识别为方便推理. 这是一个探索性数据的软件…
  • 诺莫尔

  • 22篇参考文献[SW07094]
  • NoMoR:一个非单调系统推理在回答集语义下,NoMor实现了答案…块图这允许A结构的程序分析…
  • COFJ

  • 5篇参考文献[SW29 270]
  • 简化高级编程推理利用循环数据结构. COFJ语言支持循环…
  • 围墙

  • 19篇参考文献[ SW099 39 ]
  • 实施)。检查篱笆目前支持有限但合理的C的子集,根据典型的需要…这个子集包括条件句、循环、指针、数组,结构函数调用、锁和动态内存分配…