自动定理验证程序的日文

• じどうていりしょうめいプログラム

• 自动定理验证    じどうていりしょうめい
• 用户保密验证程序    ユーザきみつほごけんしょうルーチンユーザ機密保護検証ルーチン
• 反证程序系统    はんばくしょうめいてじゅんばく
• 程序验证    プログラムののけんしょうプログラムの検証
• 自动定位    オートマチックポジショニング
• 自动定心    セルフセンタリング
• 自动定时仪    じどうていじそうちタイムコントローラ
• 自动定时器    じどうタイマ
• 自动定时盘    オフセットダイアル
• 自动定长器    オートカウンタ
• 自动定位装置    じどういちぎめそうち
• 自动定心冲头    ベルセンタパンチじどうしんたててポンチわん形パンチわんがた形
• 自动定心卡盘    セルフセンタリングチャツク
• 自动定时开关    じどうじげんかいへいき
• 自动定时装置    じどうていじそうちタイムコントローラじどうじげんそうち
• 自动定标指令    オートマチックスヶールコマンド
• 马里兰反证程序系统    メリーランドしきはんばくしょうめいてじゅんばくメリーランド式反ばく証明手順システム
• 交互式程序验证器    かいわがたプログラムけんしょうそうち
• 自动定尺寸装置    じどうていすんそうち
• 自动定尺寸配磨    マッチグラインディング
• 自动定心制动器    セルフセンタリングブレーキ
• 验证    検証する. 验证现场／現場を検証する.
• 小数点自动定位运算    じどうしょうすうてんえんざん
• 程序自动化    プログラマブルオートメーション
• 自动密封填料    セルフシールパッキング
• 自动密封衬垫    セルフシールガスヶット