• 白鲸

  • 23篇参考文献[SW01321]
  • 高阶抽象语法霍斯在这里,我们用绑定器表示对象语言中的绑定器…也用于捕获避免替代。同时霍斯编码在机械化中起着重要的作用。语言,很难合并。霍斯直接编码成函数编程…
  • 霍阿

  • 4篇参考文献[SW1175]
  • 霍阿一个用于高阶似然推断的R包束。执行基于似然的推理…
  • 辅酶Q

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

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

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 46篇参考文献[SW0469]
  • R封装APE:系统发育和进化分析
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 乐高是一个交互式证明开发系统(证明…