• XSB公司

  • 引用137篇文章[sw13877]
  • 逻辑Unix和Windows环境下的程序设计和演绎数据库系统。XSB序言。它是。。。里斯本大学,XSB公司,和连贯的知识系统。。。
  • 阿戈克利普

  • 参考11篇文章[sw07192]
  • 连贯的 逻辑基于几何定理证明器能够产生形式化和可读的证明一个定理。。。校准器连贯的 逻辑它被称为ArgoCLP。它适用于几何证明。连贯的...逻辑是一个一级碎片逻辑. 公式的结构受到限制。。。原子连词的公式连贯的 逻辑提供不同的优势。。。
  • 17条引用[sw16105号文件]
  • 派生和并行,如逻辑递归程序和草书程序都可以。。。以实施为主导。在这里,我们给出一个连贯的语义学主导的问题,开始。。。一种新方言CoALP的实现逻辑编程,其特点是有保护的惰性corecurse。。。
  • 违反

  • 引用19篇文章【sw20822】
  • 描述Breach,一个提供连贯的一套基于仿真的技术目标。。。度量间隔时间的鲁棒监测逻辑(MITL)公式。违约范围的适用范围。。。
  • 准一致性

  • 1条引用[sw28572]
  • 处理a中的不一致连贯的好吧。古典主义和直觉主义逻辑一切都源于。。。
  • 公理

  • 在169篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 差距

  • 在2707篇文章中引用[sw00320]
  • GAP是一个计算离散代数系统。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 我们提出了一个可视化几何图形的工具GCLC/WinGCLC。。。
  • 伊莎贝尔

  • 在601篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 岩浆

  • 引用了2720篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用于5714篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 恶心

  • 引用了533篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • R

  • 引用7694篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 引用于1511篇文章[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。