马里兰反证程序系统的日文

• メリーランドしきはんばくしょうめいてじゅんばく
  メリーランド式反ばく証明手順システム

• 反证程序系统    はんばくしょうめいてじゅんばく
• 编译程序系统    コンパイラシステム
• 马里兰    メリーランド州
• 人－机共存程序系统    にんげんきかいきょうせいシステム
• 患者治疗程序系统    かんじゃスヶジューリングシステム
• 远程编程序系统    えんかくプログラムシステム
• 索马里兰    ソマリランド
• 马里兰州    メリーランド州
• 扩充的多道程序系统    かくちょうたじゅうプログラミングほうしき
• 阿伯丁 (马里兰州)    アバディーン (メリーランド州)
• 多时序系统    マルチシーヶンシャルシステム
• 盖瑟斯堡 (马里兰州)    ゲイザースバーグ
• 索马里兰总统列表    ソマリランドの大統領一覧
• 用户保密验证程序    ユーザきみつほごけんしょうルーチンユーザ機密保護検証ルーチン
• 自动定理验证程序    じどうていりしょうめいプログラム
• 时序系统识别    ちくじシステムどうてい
• 反证    反証.反対の証拠.
• 马里兰大学学院市分校    メリーランド大学カレッジパーク校
• 多层优先顺序系统    たじゅうレベルゆうせんじゅんいシステム
• 马里    （アフリカ）マリ.▼首都は“巴马科 Bāmǎkē ”（バマコ）.
• 举反证    はねつけるに反論
• 反证法    〈数〉背理法.帰謬法.
• 系统程序库    システムライブラリ
• 布兰反应    ブランはんのうブラン反応
• 马里亚纳群岛    マリアナ諸島
• 马里亚纳海沟    マリアナ海溝