• FPROLOG公司

  • 在14篇文章中引用[sw18491]
  • FPROLOG-a的实现模糊 序言翻译。缺点之一序言,广泛使用。。。常规二值逻辑序言基于,与模糊逻辑。为了给予。。。更大的系统灵活性模糊 序言翻译可以和外教联系起来。。。
  • 混乱

  • 参考7篇文章[sw09052]
  • 简洁而富有表现力模糊工具结束序言. 我们提出了RFuzzy框架,一个序言-基于。。。
  • 公理

  • 参考7篇文章[sw20253号]
  • 逻辑学。这些条件在序言作为输入的系统公理化。。。允许计算机发现新的模糊逻辑。。。
  • 濑户

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

  • 引用8180篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 毫升

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

  • 第227条中引用的条款[sw01228]
  • COBOL(/ˈkoʊbɒl/,面向商业的通用缩写。。。
  • 小话

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

  • 在169篇文章中引用[sw02159]
  • 一种动态领域的逻辑编程语言。。。
  • 林帕克

  • 引用513篇文章[sw04209]
  • LINPACK是Fortran子程序的集合,这些子程序。。。
  • z3型

  • 引用489篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 韦卡

  • 引用284篇文章[sw06435]
  • 韦卡:怀卡托知识分析环境。韦卡是。。。
  • 引用564篇文章[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。