词汇“形式证明 formal proof; formal verification;”的意思、用法、释义、翻译、读音、例句、短语、词组-国际大辞典

单词	形式证明 formal proof; formal verification;
释义	见:形式: 形式证明 formal proof; formal verification;
随便看	过载继电器 overload relay; overload release; maximum relay; 过载船只 overloaded vessel; 过载装置 overload device 过载警戒控制 overload alarm control; 过载试验 overload test; 过载运转 overload running; 过载释放 overload release; 过载释放器 overload releaser; 过载限制器 overload stop; 过载限时继电器 overload time relay; 过辐射过近运输过还原钢过远运输过速调节器过逾过道过道墙 {建} aisle wall 过道椅 fip up seat; 过酸过酸盐 persalt; 过酸酯 perester 过重过重加费 {邮} overweight charge; 过重料 over burdening;

国际大辞典收录了835600条英语、德语、日语等多语种在线翻译词条，基本涵盖了全部常用单词及词组的翻译及用法，是外语学习的有利工具。