自动定理验证程序的日文

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

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