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

automatic theorem proving

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

中文释义

[计] 自动定理证明

单词分析

单词结构:

automatic theorem proving

字母数:25

记忆提示

🎯 重点记忆:

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

最近查询:

emergency government frame type free source herkogamous hindmore larasa mofoxime molecular taxonomy nonbisexuals press zone rerattle retrograde solubility sakulin scram accumulator n2 cylinder slotted girder snap clasp SPOF stoke-hole Swiss Watch Chamber of Commerce tyrocidins

更新时间:2025-12-08 20:29:33

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