production system for theorem proving

词典收录

美式发音

英式发音

单词级别

高级

英文单词：	production system for theorem proving
中文翻译：	[计] 定理证明的产生式系统

词汇解析

[计] 定理证明的产生式系统

production system for theorem proving 的常见用法：

1

to production system for theorem proving

2

production system for theorem provings

3

production system for theorem proving of

词汇小提示：了解单词的常见搭配有助于更准确地使用单词。

people place problem plan

词汇提示：掌握同一字母开头的单词有助于扩大词汇量