反证程序系统的日文

• はんばくしょうめいてじゅんばく

• 马里兰反证程序系统    メリーランドしきはんばくしょうめいてじゅんばくメリーランド式反ばく証明手順システム
• 编译程序系统    コンパイラシステム
• 人－机共存程序系统    にんげんきかいきょうせいシステム
• 患者治疗程序系统    かんじゃスヶジューリングシステム
• 远程编程序系统    えんかくプログラムシステム
• 扩充的多道程序系统    かくちょうたじゅうプログラミングほうしき
• 多时序系统    マルチシーヶンシャルシステム
• 用户保密验证程序    ユーザきみつほごけんしょうルーチンユーザ機密保護検証ルーチン
• 自动定理验证程序    じどうていりしょうめいプログラム
• 时序系统识别    ちくじシステムどうてい
• 反证    反証.反対の証拠.
• 多层优先顺序系统    たじゅうレベルゆうせんじゅんいシステム
• 举反证    はねつけるに反論
• 反证法    〈数〉背理法.帰謬法.
• 系统程序库    システムライブラリ
• 操作系统程序    オペレーティングシステムプログラム
• 程序制导系统    プログラム誘導方式プログラムゆうどうほうしき
• 程序控制系统    せいぎょプログラミングシステム
• 程序设计系统    プログラミングシステム
• 系统修正程序    システムしゅうせいてじゅんシステム修正手順
• 系统分析程序    システムかいせきてじゅんシステム解析手順システムぶんせきてじゅんシステム分析手順
• 系统初始程序    システム初期設定プロクラムシステムしょきせっていプロクラム
• 系统处理程序    システムプロセッサ
• 系统工程程序    システム工学手順システムこうがくてじゅん
• 反诉    〈法〉反訴（する）. 被告对原告提出反诉／被告が原告に対して反訴を提起する.
• 反诘    〈書〉問い返す.詰問する.