• 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • 丰满

  • 在14篇文章中引用[sw00718]
  • CSCS-ETH/NEC联合并行协作。。。
  • 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 毫升

  • 引用512篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 小话

  • 在177篇文章中引用[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • Ada95型

  • 引用185篇[sw01753]
  • Ada是一个结构化的,静态类型的,命令式的,广泛的。。。
  • LPTP

  • 参考7篇文章【sw01822】
  • 本文介绍了逻辑程序LPTP的理论基础。。。
  • 吸血鬼

  • 在234篇文章中引用[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • 鼓掌

  • 引用89篇文章[sw03112]
  • C版的LAPACK,一个可移植的库。。。