theorem proving use of resolution
词典收录
美式发音
英式发音
单词级别
高级
| 英文单词: | theorem proving use of resolution |
|---|---|
| 中文翻译: | 使用分解律的定理証明 |