• 魔术

  • 12篇参考文献[SW11872]
  • 比另一个更坚固,证明了独立属于公理. 它也可以用…
  • 塔斯基斯几何

  • 2篇参考文献[SW32215]
  • 独立塔斯基的欧几里德公理. 塔斯基公理平面几何的形式化…公理被证明是无党派他的另一个公理平面几何。更早…
  • 分离器

  • 18篇参考文献[SW0819]
  • 分离器:条件的数学框架独立性和无关。我们引入一个公理化的定义…类分离器及其相关的一般数学性质公理系统,以及与其他的连接…
  • 韦博德

  • 4篇参考文献[SW17519]
  • 可扩展体系结构,侧重于无党派集成的本体开发功能…框架,如本体编辑器,公理Builder,基于OKBC的推理引擎…
  • 1篇参考文献[SW26708]
  • 不满足的复杂数据公理欧几里得几何学,而大多数…样本分布比较与相互检验独立在度量空间中,扩展了测试…
  • Gap

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 超小卫星

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

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 太阳能

  • 18篇参考文献[SW088]
  • 太阳能(高级推理溶胶)是第一个…
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • CP网

  • 130篇参考文献[SW01374]
  • CP网(条件偏好网)是一种工具…