production system for resolution refutation

基本释义

[计] 归结反演的产生式系统
production system for resolution refutation单词图解，单词释义场景配图
5 次浏览