• 卡卡尔

  • 74篇参考文献[SW09899]
  • 实现因果的片断逻辑本文描述了“非单调因果理论”。CCALC语言相关违约逻辑逻辑编程计算上,CCALC使用想法…
  • 场所

  • 31篇参考文献[SW1248]
  • 场所之间没有充分反映符合逻辑的 关系,这是由区域规范所暗示的…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 实现各种相关类型系统-爱丁堡逻辑的框架(LF),结构演算…
  • KL-酮

  • 40篇参考文献[SW28 891]
  • 结果很接近相关命题模态逻辑学逻辑学程序……
  • 回路

  • 29篇参考文献[SW1092]
  • 类按高阶语义逻辑. 它是一个前线…地点此外,本文还讨论了问题。相关符合逻辑的理论生成…
  • 梅塔姆

  • 55篇参考文献[SW06568]
  • 时间使用的方法论逻辑作为可执行命令语言被引入…更详细,工作有关可执行文件的元方法逻辑学
  • 合金

  • 29篇参考文献[SW01247 ]
  • 简单一阶逻辑扩展与关系式运算符。一个简单的结构机制允许合金…
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 因果概率事件及其因果关系关系逻辑程序设计开发了一个符合逻辑的语言
  • 模型

  • 65篇参考文献[ SW044 35]
  • 搜索引擎的枚举模型逻辑程序-可能的解决方案,在分离的情况下…关系在两个语义之间:答案集和完成语义逻辑程序
  • 30篇参考文献[SW24694]
  • 诱导逻辑程序:箔和相关系统箔是一阶学习系统…
  • 南美林猫

  • 22篇参考文献[SW07090]
  • 经济翻译关系式布尔逻辑. 这些DISIDARTA用三种新技术来解决…部分解,稀疏矩阵表示关系和布尔公式的紧凑表示…
  • 发现

  • 81篇参考文献[SW21614]
  • 防止入侵符合逻辑的错误。终止的证明被视为一个单独的…联系最后,得出一些结论。有关绘制通用程序设计方法。
  • 拉丁

  • 15篇参考文献[SW19699 ]
  • 接口的方法、技术和工具逻辑学相关形式系统。这些系统…
  • 美泰普尔

  • 26篇参考文献[SW04624]
  • 符合逻辑的多重框架逻辑学可以定义和相关这是一个系统…作为系统使用的系统符合逻辑的编程环境,其中程序的构建…
  • 德洛里斯

  • 25篇参考文献[SW055 46]
  • 与大多数其他非单调的逻辑学可撤销的逻辑具有线性复杂度,允许德洛尔执行…消除失败和优势的所有用途关系
  • 帕洛格

  • 39篇参考文献[SW23 764 ]
  • 作为谓语句子阅读逻辑. 它不同于PROlog在并入模式…并行和并行评价。帕洛格关系分为两类:单溶质关系关系. 本文是对PARLoG教程的介绍。它假定熟悉逻辑编程
  • 拉尔

  • 9篇参考文献[SW08505]
  • 摘要关系叫做RALL的代数关系-代数语言和逻辑),基于一般定理…研究的成熟证明助手关系式微积分。拉尔能够应付……方法利用之间的同构。关系-代数和谓词-符合逻辑的公式,依靠经典…
  • HTAB

  • 11篇参考文献[SW12427 ]
  • 形式主义紧密相关双模态逻辑描述逻辑. 品种…
  • IMPS

  • 49篇参考文献[SW09143]
  • 以一种熟悉的方式应用数学。这个逻辑IMPS是基于一个版本…亚型。进行数学规范和推理相对的公理化理论,可以相关包含和理论解释。IMPS提供相当地大型原始推理步骤,以促进人类控制…数以千计的重复性证据涵盖了相当部分逻辑,代数和分析,并提供一些支持…
  • MSPASS

  • 23篇参考文献[SW17667 ]
  • 描述证明人逻辑学一个定理证明器关系式微积分。。。