• 莫德

  • 650篇参考文献[SW06263]
  • Maude是一个高性能的人反思的支持等式和重写逻辑的语言和系统…
  • TPTP

  • 368篇参考文献[SW04143]
  • 帮助确保性能结果准确反映正在考虑的ATP系统的能力…
  • Salm Talk

  • 163篇参考文献[SW01561 ]
  • SimultLoad是面向对象的、动态类型的,反思的编程语言Simultalk被创建了…
  • 洛索德

  • 122篇参考文献[SW0434]
  • 旧齿轮和齿轮箱包装,以及反映一个完整的重新设计的用户界面…
  • 落叶松

  • 86篇参考文献[SW02126]
  • 关于接口规范语言的通信反映程序设计语言。每个接口语言处理…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 哪些复杂特征如线程和反射被删除以允许关于…的严格论证。
  • 辅酶Q/SSR

  • 61篇参考文献[SW09360]
  • 名称SSRIVER代表“小规模”反射“一种从……演变而来的证据步骤。这通常是通过休息来完成的。反射“问题以更具体的形式出现,因此…
  • 刮匙

  • 45篇参考文献[SW13762]
  • CuRRET:哥伦比亚乌得勒支反射系数纹理数据库。3数据库(1)BRDF(双向)反射系数分布函数…数据库与反射系数测量超过60个不同的样品,每个观察到超过200个不同的…
  • 西斯塔斯

  • 61篇参考文献[SW12440]
  • 营地和刚刚起步的标准化工作。我们反映关于这一努力的影响…
  • 汉堡2001

  • 59篇参考文献[SW11200 ]
  • 措施产生相似但不相同的结果,反射他们表现的不同方面…
  • 阿摩司

  • 57篇参考文献[SW0615]
  • 建立态度和行为模型反映复杂的关系。软件:提供结构方程模型…
  • 王子

  • 48篇参考文献[SW13240]
  • 这个属性我们称为α$ $反射是独立的利益,我们证明…
  • 一体PSE

  • 41篇参考文献[SW22407]
  • 模型或向量可以有效地反映它的序列模式信息或捕获…
  • EUK-MPLOC

  • 40篇参考文献[SW26860]
  • 包括真核蛋白的新条目和反映EUK MPLOC的持续发展…
  • 利厄特

  • 39篇参考文献[SW0853]
  • 输入和输出。LieART利用韦尔反射组进行大部分计算,结果…
  • BDDCML

  • 37篇参考文献[SW13395]
  • 自适应多级BDDC方法反射该领域的一些最新进展。代码编写…
  • 场所

  • 31篇参考文献[SW1248]
  • 声明的地区关系不充分反映逻辑关系,隐含的…
  • 拉瓦

  • 20篇参考文献[ SW099 77 ]
  • 反思的MalaWa定理证明器是声音(下到运行它的机器代码)。Milawa…有一个小内核和一个强大的反射机制。我们使用了HOL4定理…
  • 钨功能部位

  • 27篇参考文献[SW13597 ]
  • 通过时间扩展。随着MathWord,它反映沃尔夫姆研究的持续承诺提供…