词典收录词

formal proof

[计] 形式证明, 形式证法

发音使用有道词典音频接口；音频不可用时自动回退到浏览器语音。

formal proof 的中文释义

[计] 形式证明, 形式证法

formal proof 的英文释义

暂无英文释义。

formal proof 的词形变化

暂无词形变化数据。

相关单词

form former formal formation formula format formally formerly formulate formidable formulation formality

最新更新单词

更新时间：2026-07-26 16:22:19

interpretership interpreting interpreting axiomatic language interpreting matrix interpreting the printout interpretive interpretive code interpretive compiler interpretive computer simulation interpretive dance