• 努西姆

  • 引用305篇文章[sw04131]
  • 卡内基梅隆大学机械化 推理热那瓦大学小组机械化...
  • OMRS公司

  • 在39篇文章中引用[sw03359]
  • 开放式语言操作机械化 推理系统)。这种说法是交互水平。。。
  • 引用了35篇文章[sw12334]
  • 校对助理,支持写作,推理以及提取高阶、独立类型的程序。。。结合了强大的类型和抽象机制... 建立更高层次推理 机制这反过来又可以用来建立现实的,经过验证的。。。
  • 海普拉斯

  • 在194篇文章中引用[sw17661]
  • 试图提出合理的平衡理论和数值程序在有限元计算中的应用。。。非线性有限元模拟机械的固体的行为。。。
  • 卢布

  • 参考22篇文章【sw14975】
  • 用不同的推理功能和存储机制我们用评估来证明这一点。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 爱丁堡LCF。A机械化计算逻辑。从LCF到HOL:一段短暂的历史。。。形成一个蓬勃发展的计算机辅助模式推理.过去的许多发展。。。
  • ROCR

  • 引用了43篇文章[sw04551]
  • 机制。尽管ROCR具有灵活性,但它很容易使用,只有三个命令和合理的...
  • 熟悉

  • 引用2篇文章[sw31669]
  • 分解运算符,推理具有模块化的功能和脚本功能机制我们举例说明。。。使用可重用的熟悉脚本推理 机制我们还报道了各种用法。。。
  • 生动

  • 引用3篇文章[sw01316]
  • Vivid,一个独立于域的框架机械化异质推理它结合了图解和符号表示。。。DPL以适应图表推理通过引入一般推理机制对于有效的提取。。。
  • 王牌

  • 引用9篇文章[sw22675号]
  • 分析合理的大型程序,如排序程序机械的好吧。时间复杂性。。。
  • 莱拉

  • 在10篇文章中引用[sw02266]
  • 能够自主地执行某种形式的推理,可能通过。。。合适的机制处理不完整和多重的知识是诱拐性的推理...
  • 伊曼德拉

  • 1条引用[sw37911]
  • 支持实时多用户协作。核心推理 机制伊曼德拉是一个半完整的。。。
  • 补习班

  • 1条引用【sw20263】
  • CRAM为自主机器人装备了轻量化装备推理 机制它可以推断控制决策而不是。。。
  • 数学方案

  • 引用9篇文章[sw15109]
  • 建造,在机械化数学系统,一个交互式的数学实验室,提供。。。促进和管理数学的工具推理...
  • 星期五

  • 引用9篇文章[sw07389]
  • 基础,即包含间隙。经典模糊推理像Zadeh的,Mamdani的,Larsen的。。。机制对于稀疏模糊规则库系统。基本上,FRI技术执行插值近似推理...
  • 白鲸

  • 在26篇文章中引用[sw01321]
  • 这个项目是研究编程和推理提供支持的数据结构。。。编码在机械化编程语言的元理论。。。
  • 本体论

  • 引用9篇文章[sw30415]
  • 基于ASP的规范和推理企业本体论。OntoDLV实现了一个强大的。。。套。重要的是,OntoDLV支持强大的互操作性机制使用OWL,允许用户检索。。。从OWL本体论出发,构建基于规则的推理在OWL本体论之上。系统。。。
  • 英根

  • 参考7篇文章[sw10111]
  • 元理论推理关于当前的程序设计语言及其类型系统机械的形式化。。。
  • CSimpl公司

  • 引用2篇文章[sw22725]
  • 并行程序开发推理技术如信赖保证。但是,源代码。。。由现有的机械化那些同时发生的推理技术。Schirmer等人已经解决了。。。