定理証明の英語

• theorem proving
  

• 定理     定理 ていり theorem proposition
• 証明     証明 しょうめい proof verification
• 定理証明法    theorem proving method
• 機械定理証明    機械定理証明 mechanical theorem proving[電情]
• 定理証明プログラム    theorem proving program
• 幾何学定理証明機械    幾何学定理証明機械 geometry theorem-proving machine[電情]
• 出生届受理証明書    proof of birth registration
• 定理を証明する    1. demonstrate a proposition 2. demonstrate a theorem 3. prove a theorem
• 受理証    receipt
• 定理    定理 ていり theorem proposition
• 証明    証明 しょうめい proof verification
• 債務整理証書    deed of arrangement
• cpt定理    CPT theorem
• h定理    H定理 H theorem[基礎]
• π定理    π定理 π-theorem[基礎]; π-theorem[土建]