theorem-proving for robot problem solving
词典收录
美式发音
英式发音
单词级别
高级
| 英文单词: | theorem-proving for robot problem solving |
|---|---|
| 中文翻译: | [自] 机器人问题求解的定理证明 |