网站首页  词典首页

请输入您要查询的英语单词：

　

单词 automatic theorem proving
释义

  • automatic theorem proving

    • 英?[??:t??m?tik ?θi:?r?m ?pru:vi?]
    • 美?[??t??m?t?k ?θi?r?m ?pruv??]

    释义

    • 机械证明定理

  • 行业词典

    • 计算机

      自动定理证明???
随便看

　

英汉翻译词典包含4367426条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。

　

Copyright © 2003-2024 grboi.com All Rights Reserved
京ICP备2021023879号 更新时间：2025/3/6 11:37:53