theoremproving system

英 [theoremproving system]
美 [theoremproving system]

中文释义

[计] 定理证明系统

单词分析

单词结构：

theoremproving system

字母数：21

记忆提示

🎯 重点记忆：

  • 单词拼写：theoremproving system
  • 核心含义：[计] 定理证明系统

最近查询：

anticarier battle-clad Beloyarskoye cadmium orthoborate chessboard clinical follow-up observation coagulopathic Elkonium enitia pars floc growth inequality of tide low-temperature fluorescence method machine level routine manufacturing applications membranae statoconiorum macularum primitive lattice production board smooth brome three-valve unbreakable

更新时间：2026-01-25 16:27:12