• 丁香花

  • 引用13篇文章[sw08983]
  • 以艾布拉姆斯基的学期作业为例直觉的 线性的 逻辑(在线性的学期微积分。。。
  • 伦塔尔

  • 引用9篇文章[sw07312]
  • 简单的符合逻辑的解释基于直觉的 线性的 逻辑以及一种扁平化技术。这使。。。
  • 棒棒鼻

  • 引用5篇文章[sw22624]
  • 类型系统基于直觉的碎片线性的 逻辑已经提出,申请。。。
  • 线状龙

  • 1条引用[sw34720]
  • 一阶定理证明器/解析器(乘法,直觉的)线性的 逻辑. 它还支持(通过翻译)解析。。。
  • 林克斯

  • 1条引用【sw20270】
  • 符合逻辑的具有一流上下文的框架。线性的 逻辑为有状态的建模提供了一个优雅的框架。。。线性的直觉的假设。我们介绍Lincx,一个上下文线性的 符合逻辑的一流的框架。。。可能依赖于直觉的线性的假设。它也可以用来。。。关于这样的结构。Lincx扩展了线性的 符合逻辑的一流的框架LLF(线性的)上下文。。。
  • 数学软件

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

  • 引用120篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 水獭

  • 在316篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • PVS公司

  • 参考625篇文章[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 沉香

  • 引用1216篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • UCI毫升

  • 在3160篇文章中引用[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。