• 卡内兹

  • 8篇参考文献[SW22088]
  • 直接求解求解器摘要 论证在GO程序设计语言中。Carneades…用于推理任务的求解器摘要 论证框架〔1〕。所有的推理任务(计算…
  • 狐盒

  • 15篇参考文献[SW0307]
  • 用C++编写的。C++模板论据提供摘要域类型。目前,Fox Box…
  • 康加尔2

  • 4篇参考文献[SW22084]
  • CONARG2:一个基于约束的工具摘要 论证. CONARG2是面向约束编程工具…与基于扩展的语义有关摘要 论证. 它利用Gecode,一个高效的C++工具包…
  • 考古斯

  • 3篇参考文献[SW22094]
  • CoQuiAAS:一个基于约束的快速摘要 论证求解器。本文是一个描述…
  • 阿尔戈

  • 1篇参考文献[SW22092]
  • ARGoTo:一种基于回溯的求解器摘要 论证. 我们提出了一个用于推理的系统。摘要 论证框架。该系统解决了许多问题。论证问题优先,稳定…
  • DyPrimx

  • 1篇参考文献[SW30435]
  • 工具DyPrimx是一个系统。摘要 论证它是基于分解和动态的…
  • 程序设计

  • 1篇参考文献[SW22095]
  • 面向二部图的生成摘要 论证框架。Prolog是在Prolog中开发的。
  • PrfMax SAT

  • 1篇参考文献[SW22089]
  • 优选扩展搜索的编码摘要 论证,使用Max SAT方法…
  • 我的钢琴

  • 39篇参考文献[SW09623 ]
  • 函数值的收敛性论据. 这使得算法鲁棒性的使用。其他几种梯度法。首先,一个摘要证明了一个通用算法的收敛定理。
  • 钻石

  • 7篇参考文献[SW22086]
  • 钻石:一个计算系统摘要辩证的框架。本文简要介绍了钻石…第一届国际计算模型竞赛论证(ICCMA)。钻石本质上是一个集合…语义的编程(ASP)编码摘要辩证框架(ADFS)和包装脚本…
  • 格拉帕

  • 6篇参考文献[SW2093]
  • 为标签赋予精确的含义论点使它们适合于自动评价的图。明确接受条件,首先研究摘要辩证框架(ADFS)。使用的验收条件…定义各种粪便风格语义论点图。我们还介绍了一种模式语言…
  • PSOA规则API

  • 1篇参考文献[ SW0764 9]
  • PSOA RuleMLAPI:一种处理工具摘要和具体的句法PSOA规则…可选的对象标识符和位置或时隙论据. 本文介绍了一个开源的PSOA…基于PSOA规则的具体语法创建摘要语法对象,并使用这些对象…
  • 谢拉德

  • 6篇参考文献[SW02663]
  • 获取最大数据的标准设置抽象化. 至于效率,有很多关注…实际PCF序列片段。以前的论点建议某种妥协…
  • 云雾

  • 1篇参考文献[SW13331 ]
  • 针对寄存器中的浮点数(即论据或当地人)。没有这样的分析,静态…基于我们的静态合同检查器摘要解释…
  • 赫克托

  • 2篇参考文献[SW13320]
  • 它可以包含自由变量论据也是短型的。完成,工具依赖于完全摘要RML的博弈语义构造
  • 古尔

  • 0篇参考文献[SW31481]
  • 演示一种语言,用右边抽象化可以捕捉面向对象的本质…级函数,简单任务(命令行)论据,列表处理,打印),以更复杂的模式…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 可爱

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。