• 莫德

  • 引用652篇文章[sw06233]
  • Maude是一个高性能的反思的支持等式逻辑和重写逻辑的语言和系统。。。
  • TPTP

  • 引用370篇文章[sw04143]
  • 帮助确保绩效结果准确反映正在考虑的ATP系统的能力。。。
  • 小话

  • 在163篇文章中引用[sw01561]
  • Smalltalk是一种面向对象的动态类型,反思的程序设计语言。Smalltalk诞生了。。。
  • L代码

  • 在122篇文章中引用[sw04374]
  • 旧齿轮和齿轮箱组件,以及反映完全重新设计的用户界面。。。
  • 落叶松

  • 引用87篇文章[sw02126]
  • 关于通信时的接口规范语言反映编程语言。每种接口语言处理。。。
  • Coq/S参考

  • 参考文献62篇[sw09360]
  • 名称Ssreflect代表“小规模”反射“,一种从。。。台阶。这通常是通过重申(“反射)更具体的问题,因此。。。
  • 刮匙

  • 引用47篇文章【sw13762】
  • 课程:哥伦比亚乌得勒支反射率和纹理数据库。3个数据库:1)BRDF(双向反射率分布函数。。。数据库反射率对60多个不同样本的测量,每一个样本都有超过200个不同的。。。
  • 西斯库斯

  • 参考61篇文章[sw12440]
  • 营地和一个刚刚起步的标准化工作。我们反映关于这项努力的影响。。。
  • 2001年

  • 引用了60篇文章[sw11200]
  • 这些措施产生了相似但不完全相同的结果,反射他们表现的不同方面。。。
  • 阿莫斯

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

  • 引用49篇文章[sw13240]
  • 我们称之为$alpha的财产$-反射我们证明。。。
  • Pse合一

  • 引用41篇文章[sw22407]
  • 能够有效地反映它的序列模式信息或捕获。。。
  • 欧盟MPOC

  • 引用了40篇文章[sw26860]
  • 包括真核生物蛋白质和反映Euk mPLoc的持续发展。。。
  • 列雅特

  • 在39篇文章中引用[sw08573]
  • 输入和输出。利雅特利用Weyl反射对大多数计算进行分组,结果。。。
  • BDDCML公司

  • 引用了37篇文章[sw13395]
  • 自适应多级BDDC方法反射该领域的一些最新进展。代码是写出来的。。。
  • 区域设置

  • 引用了35篇文章[sw12448]
  • 区域设置之间声明的关系不充分反映隐含的逻辑关系。。。
  • DLV公司

  • 引用了30篇文章[sw04640]
  • 能够更好地运用技术反映手头问题的复杂性。。。
  • 拉瓦

  • 引用了20篇文章[sw09977]
  • 反思的milawa定理证明器是可靠的(从运行它的机器代码开始)。米拉瓦。。。有一个小内核和一个强大的反射机制。我们使用了HOL4定理。。。
  • 舒伯特

  • 27条引用[sw09175]
  • 修订并更新为反映新版本的枫树由扬马格努斯Ø兰。。。