Department of Computer Science Dresden University of Technology;
rnSchool of Computer Science and Engineering The University of New South Wales;
机译:推导Szego和Avram-Parter定理中的测试函数
机译:组合博弈论中自动证明定理的符号有限状态方法
机译:有限水平微分对策的局部可微开环Stackelberg平衡的包络定理
机译:推送信封:一般游戏玩家证明定理
机译:在大规模多人在线角色角色扮演游戏的角色扮演在线游戏的阳性规范的相关性的相关性
机译:专家视频游戏玩家到底有多专业?评估跨动作视频游戏类型的视频游戏玩家的经验和专业知识
机译:推动信封:一般游戏玩家证明定理