... 策略 tactics a surname 归结反演系统 resolution refutation system 归结反演策略 resolution refutation strategy ...
基于6个网页-相关网页
production system for resolution refutation [计] 归结反演的产生式系统
应用推荐
模块上移
模块下移
不移动