theoremproving machine

栏目: 英汉词典 查阅: 51次

【计】 定理证明机
在线英汉词典

标签：theoremproving machine,用法,音标,短语

相关词语