theoremproving system

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

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

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

相关词语