• 随钻测井

  • 3篇参考文献[ SW01820]
  • 这篇短文作者给出了有用的最常见的命题范式综述…首先提供他们的目录公理(还有其他名字……倍数逻辑的公理化是通过表现不同的可推导性来建立的。公理目录公理提供可以是定理的数据库。用过的作为一个基本的…
  • Gap

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 采访者

  • 28篇参考文献[SW043]
  • 采访者:蛋白质与蛋白质相互作用的动态可视化
  • R

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 37篇参考文献[SW0855 ]
  • 羊是计算机代数系统来处理…
  • 毫升

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

  • 105篇参考文献[SW03522]
  • 艾菲尔是一个ISO标准化、面向对象的程序设计…
  • UCI ML

  • 2847篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • 克朗

  • 396篇参考文献[SW04351]
  • R是“GNU S”,一个自由使用的语言…