• 迪马克

  • 493篇参考文献[SW08221]
  • 人工产品。挑战组织者也在生产裁判员AMS DIMACS系列丛书…
  • 裁判

  • 7篇参考文献[SW12439 ]
  • 计算机化裁判. 这个裁判系统(又名AETNANOVA),可在网上访问,摄取正文正文…本文还讨论了对裁判正在进行中的:一个新的推论…
  • 埃特南诺瓦

  • 8篇参考文献[SW06360]
  • 裁判系统(又名AETNANOVA),在Web上可访问,它也可以输入正文正文…本文还讨论了对裁判正在进行中的:一个新的推论…
  • 恩佐

  • 11篇参考文献[SW12438 ]
  • 与Enzo有许多特点裁判员期刊文章,它是有能力的…
  • 挑剔

  • 5篇参考文献[ SW08054 ]
  • 算法。本文提出了聚类算法。裁判包装或鲤鱼,开源…
  • 玉米粥

  • 5篇参考文献[SW08602]
  • 多伦多-矩阵群的多环表示。裁判员GAP 4封装。玉米粥包装提供…
  • 奇点

  • 5篇参考文献[SW20306]
  • 论文〔4〕是同行评议的。裁判员期刊
  • 奎因

  • 1篇参考文献[ SW22639 ]
  • 裁判员计算委托。考虑一个希望委托计算的弱客户端…服务器是诚实的。我们称这种协议。裁判员计算委托(RDOC)和显示:{PARDENTAND…
  • 阿尔努斯

  • 1篇参考文献[SW14846]
  • 与康德系统的接口。裁判员GAP 4封装。AlNuth-封装提供各种…
  • BWAPI

  • 1篇参考文献[SW2671]
  • 除非由锦标赛模块实施(游戏)裁判对于AI比赛)。更改默认值将…
  • 闪烁

  • 8篇参考文献[SW22637 ]
  • 闪烁:TCB最小化的执行基础结构。我们