• 丁香花

  • 13篇参考文献[ SW08983]
  • 接受Abramsky的任期分配直觉主义的 线性的 逻辑(the线性的学期演算…
  • LMNTAL

  • 9篇参考文献[SW07312]
  • 简约符合逻辑的基于解释直觉主义的 线性的 逻辑和扁平化技术。这使…
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • 基于系统的类型系统直觉主义的片段线性的 逻辑已经提出,应用…
  • 林克斯

  • 1篇参考文献[SW20270]
  • 符合逻辑的具有一流上下文的框架。线性的 逻辑提供了一个优雅的框架来建模有状态的…线性的直觉主义的假设。我们提出Lincx,一个语境线性的 符合逻辑的一流的框架…句法结构可能取决于直觉主义的线性的假设。它也可以服务…关于这样的结构。Lincx扩展了线性的 符合逻辑的具有一流的框架LLF(线性的语境…
  • 辅酶Q

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

  • 18篇参考文献[SW0421]
  • 混合:一个用于高级语法的包…
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • 毫升

  • 502篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 水獭

  • 310篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • PVS

  • 602篇参考文献[SW0384]
  • PVS是一种验证系统。
  • UCI ML

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

  • 55篇参考文献[SW0488]
  • Pink是一个免费的、开源的全基因组。
  • 长条

  • 14篇参考文献[SW04650]
  • 条带:用于有效证据搜索的结构共享。这个。。。