• 电除尘器

  • 151篇参考文献[SW06302]
  • 学科多样性、演绎性信息 系统对于这些学科,专家系统可以推理…一些完整的例子)系统. 使用ETPS的学生发出命令…积极考虑,节约部分证据不完全证明和打印证明文件…更多信息关于ETPS,您可以下载报表ETPS:A系统帮助学生…
  • 立方

  • 5篇参考文献[SW17366]
  • Cube约束面向对象数据库系统. 约束提供了灵活和统一的方式来表示…行为、复杂建模要求、部分和不完全 信息等,并已被使用…第一约束面向对象数据库系统cCube,描述了它的规范、设计和实现…
  • 生动的

  • 3篇参考文献[SW01316]
  • 提出了新的形式结构,称为系统国家,这是专门设计用于潜在的建模…结构允许我们处理不完全 信息异构问题解决的普遍特征…将一阶关系签名解释为系统状态,并开发一个正式的语义框架…
  • 前腿

  • 3篇参考文献[SW12125]
  • 基于Prolog的法律推理支持系统)根据日本的“预设理论”…法官下的决策不完全 信息. 在此之前,我们提出了翻译的理论…
  • WVIEW

  • 1篇参考文献[SW31007]
  • 逻辑程序。WVIEW是人工智能系统生成世界观答案集的扩展…逻辑编程与推理不完全 信息“Michael Gelfond在杂志上…
  • 罗布斯特劳

  • 0篇参考文献[SW15794]
  • 进入学科。因此,它失败了不完全分类;在这种情况下,鲁棒扩展…不确定区间分类/ ACM - 2012:信息 系统相似度量,计算理论,二次规划,应用…
  • 菲西奥

  • 0篇参考文献[SW17925]
  • 系统格式,是天文学中的标准格式(参见为了更多信息将图像写成16位整数。已知的不完全正在读取随机组扩展,以及…
  • 辅酶Q

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

  • 2586篇参考文献[SW0320]
  • GAP是系统对于计算离散代数…
  • 针织品

  • 161篇参考文献[SW0490]
  • KNITROO是求解非线性优化问题的一种解法。IT
  • MATLAB

  • 11180篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 抱怨

  • 359篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • 诺蒂

  • 518篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…