• 工商管理硕士

  • 17条引用[sw08724]
  • 工商管理硕士:表示数学软件集成的知识和上下文系统... 描述工商管理硕士 系统,一个基于web的分布式数学知识库。。。
  • 小鬼

  • 引用49篇文章[sw09143]
  • IMPS:一个交互式的数学证明系统. 小鬼是。。。
  • 分析

  • 引用31篇文章[sw10478]
  • 解析:数学的定理证明者。分析是。。。
  • 因卡

  • 引用18条[sw19610]
  • 归纳定理。因卡:卡尔斯鲁厄工业。。。
  • 蛤蜊

  • 引用24篇文章[sw19614]
  • LambdaClam(λclam,lclam)是一种证明规划系统...
  • 谚语

  • 引用4篇文章[sw29672]
  • 出示机器找到的证据。本文概述了。。。