• STeLP公司

  • 在10篇文章中引用【sw09772】
  • 称为可分割时间逻辑程序),STeLP获得它的时间集平衡模型(概括。。。允许对时间的简单定义逻辑程序,包括一个特殊的操作语法。。。
  • 参考7篇文章[sw31989]
  • 试图满足世俗的逻辑代表他们个人目标的公式。基本的分析概念。。。反应模块游戏是纳什平衡. 在本文中,我们描述了一个工具,通过它。。。检查这些策略是否形成纳什平衡反应模块游戏通过。。。该工具广泛使用传统的时间逻辑可满足性和模型检验技术。我们先。。。
  • DMCS公司

  • 参考6篇文章[sw09818]
  • DMCS系统是平衡异构非单调多语境语义。。。具有异质性和非单调性的特征上下文逻辑学. MCS中的每个上下文都包含。。。
  • 欧氏瓣心内膜炎

  • 1条引用[sw31990]
  • 时间的自动分析工具平衡并发多智能体系统的性质。。。用线性时间表达目标逻辑(LTL)公式。尤其是伊芙检查。。。
  • 选择间隙

  • 1条引用【sw20612】
  • 结合选择的选择差距的概念逻辑程序和通用注释程序。我们假设。。。其他情况。我们定义了多人纳什平衡但因为他们需要。。。
  • 数学软件

  • 引用5880篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 元游戏

  • 在10篇文章中引用[sw00572]
  • 失败的模型检查运行应该伴随着。。。
  • 网络X

  • 参考文献108篇[sw00616]
  • NetworkX(NX)是一个Python包,用于。。。
  • R

  • 引用8309篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 圣哲

  • 在1617篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 单数

  • 在1373篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。