• XSB

  • 136篇参考文献[SW1387]
  • 逻辑UNIX和Windows编程与演绎数据库系统XSB-PROLog.这是…里斯本新星大学XSB公司相干的知识系统…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 相干的 逻辑基于几何定理证明器能够产生形式的和可读的证明定理。证明者相干的 逻辑称为ARGOCLP。它应用于几何证明。相干的逻辑是一阶的片段逻辑. 公式的结构受到限制。原子的连词公式相干的 逻辑在上下文中提供不同的优点…
  • 煤堆

  • 17篇参考文献[SW16105]
  • 派生和并行性,作为这样的执行逻辑程序可以同时具有递归和辅助功能。已实施LED。这里,我们给出一个相干的语义主导的问题,开始…一个新方言的实施逻辑编程,以守卫懒惰的考古学为特征…
  • 裂口

  • 17篇参考文献[SW20822]
  • 描述违约,Matlab /C++工具箱提供相干的一组基于仿真的技术目标…时间间隔度量的鲁棒监控逻辑(MITL)公式。违反范围的应用领域…
  • 角砾

  • 1篇参考文献[ SW31708]
  • 概率的逻辑确定系统的系统相干的对查询和概率的总体响应…
  • 次协调性

  • 1篇参考文献[SW28 72]
  • 处理A中的不一致性相干的方式。古典主义与直觉主义逻辑一切都跟随…
  • 辅酶Q

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

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

  • 28篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • 岩浆

  • 2566篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 10918篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 诺蒂

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

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