• 数量

  • 在149篇文章中引用[sw07543]
  • 部分递归函数。这些变化逻辑在他们的“元函数:证明…过程”[在“正确性问题计算机 科学(1981;Zbl 0476.68009)和“a的加…量化和部分函数计算的 逻辑以及它的定理证明者“自动推理。。。
  • XSB公司

  • 在140篇文章中引用[sw13877]
  • 逻辑Unix和Windows环境下的程序设计和演绎数据库系统。XSB序言。它是。。。机构数量,包括电脑类 科学类诺瓦大学石溪大学系。。。
  • LPL软件

  • 引用19篇文章[sw04860]
  • 本科生(哲学、数学和计算机 科学)第一个毕业生逻辑当然。LPL包括。。。
  • 小鬼

  • 引用51篇文章[sw09143]
  • 逻辑、代数和分析,并为中的建模应用程序提供了一些支持计算机 科学...
  • 麦肯锡

  • 引用31篇文章[sw09465]
  • 逻辑知识,在电脑类 科学类大学里的工程学。。。模型检查的各种方法逻辑知识。这个模型的新颖之处。。。
  • 轨道库

  • 引用13篇文章[sw05562]
  • 面向表示与算法逻辑数学和计算机 科学. 它包括定理证明,计算机...
  • 表格

  • 引用18条[sw11674]
  • 这些都很吸引人逻辑学可能的应用计算机 科学还有人工智能。系统。。。
  • Isar

  • 在144篇文章中引用[sw04599]
  • 把数学和计算机 科学,在解决。。。完全独立于潜在的逻辑,并集成了广泛的自动证明方法。。。
  • 拉丁语

  • 引用15篇文章[sw19699]
  • 逻辑学以及相关的形式系统。这些系统是数学和计算机...科学并在(半)自动定理证明器、模型检验器等系统中实现,计算机代数。。。
  • ACTLW公司

  • 参考第7条[sw21031]
  • 尼古拉,F.W.瓦朗德拉格,行动对逻辑学对于过渡系统,in:并发系统的语义。。。理论上的利普斯普林学派论文集电脑类 科学类,LNCS 469,1990年,第407-419页]。ACTLW。。。显示检查。这个新的逻辑以一个验证实例说明。。。
  • 进化

  • 引用4篇文章[sw02677]
  • 多年来,逻辑编程已经被证明是一个好的和自然的工具。。。计算机 科学. 但是,在动态环境中使用并不容易。进化的逻辑... 优雅有力的延伸逻辑适用于多智能体系统的编程、规划等。。。把它转换成等效法线逻辑扩展语言上的程序,它服务于。。。
  • 联机Sparc

  • 引用2篇文章[sw30283]
  • 答案集编程。近期进展逻辑编程(例如,开发答案。。。计算机 科学,下载、安装和使用编写工具的复杂性逻辑程序可以。。。
  • 自动2

  • 参考6篇文章【sw17595】
  • 经典高阶定理证明器逻辑命名为auto2。校准器的设计目的是。。。数学和数学中的几个形式化项目计算机 科学,展示了高水平的自动化。。。
  • 副稠度

  • 1条引用[sw28572]
  • 次协调逻辑避免爆炸。相当多的应用程序计算机 科学还有工程。。。形式化一个次一致多值逻辑我们在一期特刊中描述了。。。
  • 昆士兰州

  • 引用2篇文章[sw18547]
  • 这本书提供了逻辑并介绍了这个概念。。。适合研究生层次的学生计算机 科学...
  • 2000英镑

  • 引用9篇文章[sw16941]
  • 经济、工程与自然与社会科学. 它假设只有基本微积分的知识。。。基于Windows的专业版计算机包ITSM2000,现在可以免费下载。。。斯普林格网站的附加资料。这个逻辑时间序列建模工具。。。
  • 牛顿

  • 参考6篇文章[sw21236]
  • 协调约束的声明性质逻辑编程(CLP)语言间隔与高级间隔。。。修剪达到合理的效果计算并推广了一些传统的区间算子。。。应用于许多领域科学以及工程,包括非线性方程求解,无约束优化。。。
  • 哈斯普朗

  • 引用3篇文章[sw06044]
  • 计算的 科学应用。为了加速SPRNG在高性能可重构中的应用计算系统。。。克雷XD1可重新配置计算平台,HASPRNG包括可重新配置逻辑对于现场可编程门阵列。。。
  • 超光速

  • 引用5篇文章[sw06392]
  • 规模仍然是计算的 科学. 之前,我们介绍了一种新的异步方法。。。用于异步仿真的一维基础设施逻辑上均匀网格。作为第一个例子。。。
  • 灰镜

  • 在0篇文章中引用[sw05569]
  • 使用Hoare的自然数程序逻辑(霍尔微积分)。它可以用来。。。学习这方面的理论计算机 科学在本科阶段。幻灯进行推断。。。