行为等值
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
youdao
应用推荐
模块上移
模块下移
不移动