production system for theorem proving

基本释义

[计] 定理证明的产生式系统
production system for theorem proving单词图解，单词释义场景配图
4 次浏览