• 光环

  • 在10篇文章中引用[sw11482]
  • 语言授权和a语言审计. 本文介绍了一种程序设计语言AURA。。。本文包括完全机械验证证明灵气的决定性和稳健性。。。
  • 林多

  • 引用529篇文章[sw04448]
  • 林多系统优化软件:整数规划,线性规划。。。
  • 卡宴

  • 引用了29篇文章[sw09686]
  • 卡宴-一种具有从属类型的语言。卡宴是。。。
  • 苍蝇

  • 引用107篇文章[sw10277]
  • 正式沟通证明:flyspeck的例子。我们。。。