Logo
全部工具 便民生活 健康生活 学习效率 电脑工具
首页 > 英汉词典 > automatic theorem proving

automatic theorem proving

英 [automatic theorem proving]
美 [automatic theorem proving]

中文释义

[计] 自动定理证明

单词分析

单词结构:

automatic theorem proving

字母数:25

记忆提示

🎯 重点记忆:

  • 单词拼写:automatic theorem proving
  • 核心含义:[计] 自动定理证明

最近查询:

asymmetrical deflection blacklisters braking drag Burrelton clitorized connecting rod jig electrothermal generator even-A isotope fragrant solomonseal rhizome interior crew international bond lay oneself open to suspicion Leinefelde passes through pebble plant superoctane number fuel tanaka threshold voltage workover platform yo'selves

更新时间:2025-12-08 14:35:19

©2025 3gifs.com 三思工具查询网
鄂ICP备2024068300号-2 | 鄂公网安备42018502006973