• 高阶逻辑

  • 45篇参考文献[ SW01580]
  • 谓语、功能和原子的 公式在谓词演算中出现。但是它的语义…
  • Z3 STR

  • 7篇参考文献[SW1949]
  • 字符串函数的长度函数。这个原子的 公式方程是字符串条件…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 一阶逻辑。结构公式局限于通用量化…连词原子而后继是存在量化的析取。公式哪个…
  • 伊莫金

  • 9篇参考文献[ SW11384]
  • 极化输入公式. 在操纵极性原子和子公式,我们可以经常…
  • 拉尔

  • 9篇参考文献[SW08505]
  • 谓词逻辑公式依赖于经典的通用代数概念原子结构和复合物…
  • 尼内

  • 7篇参考文献[SW12211]
  • 单和公式或三和公式由于Jucys和班扎蒂斯。这个系数…在核中发生的矩阵元素,原子的和分子物理计算…
  • 德雷斯

  • 3篇参考文献[SW32612]
  • 至少存在一个)并查询是否存在公式属于一个或所有扩展…支持对成员的查询原子在一些或所有稳定模型中。论文…
  • 幽灵

  • 1篇参考文献[SW30780]
  • 开发计算DPA(位移)原子)和初级敲击(PKA)能量分布…用基本方法计算pKa分布公式对于核反应运动学和中子…
  • 辅酶Q

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

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

  • 255篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。