• 规划师

  • 29篇参考文献[SW02047 ]
  • 基于归纳定理证明器荡漾. 这适用于伊莎贝尔的高阶逻辑。
  • 书包

  • 10篇参考文献[SW07352]
  • 混合鲁棒分段线性估计算法涟漪(剩余启动多项式时间分段线性估计)打算…谢巴德算法,鲁棒线性谢巴德算法,和涟漪是包中的唯一算法…
  • 芝诺

  • 9篇参考文献[ SW0735]
  • 相似证明阶梯我们与荡漾基于工具IsaPlanner和工业实力…
  • 涟漪

  • 1篇参考文献[ SW227 37 ]
  • 个性化的同侪学习环境中的推荐涟漪个性化的同侪学习环境中的推荐涟漪个性化的内容和学习支持的规模。涟漪给学生提供标签的储存库…学生通过使用众包。涟漪利用学生对问题的回答来近似…寻求学习支持或寻找学习伙伴涟漪建议同侪学习会话的基础上,他们的…
  • 涟漪

  • 1篇参考文献[SW3062]
  • 涟漪一个具有自由曲面的不可压缩流的计算机程序。我们提出涟漪电脑细胞治疗。改进和增强涟漪相对于它的前身,NASA VOF2D,有…简述主要特征涟漪我们描述了模型方程,数值…
  • 革命工作室

  • 1篇参考文献[SW07895]
  • 整个窗口,允许效果如荡漾桌面上的应用程序。新的图像渲染选项…
  • 电路板

  • 1篇参考文献[ SW18672 ]
  • 析取时态约束的表示涟漪在计算机算术运算中使用的进位加法器…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • QSEP2D

  • 16篇参考文献[SW0761]
  • 算法660 QSeP2D:二元谢巴德二次法
  • QSEEP3D

  • 68篇参考文献[SW0762]
  • 算法661 QHEPS3D:二次谢巴德法三变量…
  • THEPS2D

  • 2篇参考文献[SW0980]
  • 算法791:THEPS2D:余弦级数Shephard法…
  • CSHEP2D

  • 8篇参考文献[SW01237 ]
  • 算法790:CSHEP2D:双变量的立方谢巴德法…
  • 字网

  • 378篇参考文献[ SW01777 ]
  • WordNet®是一个大型的英语词汇数据库。