automated proof

英 [automated proof]
美 [automated proof]

中文释义

[计] 自动验证

单词分析

单词结构：

automated proof

字母数：15

记忆提示

🎯 重点记忆：

  • 单词拼写：automated proof
  • 核心含义：[计] 自动验证

最近查询：

astronomies blinders chudren college-baseds double exposure lock electromorphs embed oneself in external flow gibberellinglucoside intimate friend irehediamine johann winckelmanns lecithochirium priacanthi occludings Primula runcinata screen grid circuit Sentinel Butte serious music thymoctonan Tileagd

更新时间：2025-12-08 19:19:21