幾何学定理証明機械の英語
読み方:
日本語に翻訳
携帯版
- 幾何学定理証明機械
geometry theorem-proving machine[電情]
- 幾何 幾何 いくばく how many how much きか geometry
- 定理 定理 ていり theorem proposition
- 証明 証明 しょうめい proof verification
- 機械 機械 きかい machine mechanism
- 幾何学 幾何学 きかがく geometry
- 定理証明 theorem proving
- 機械定理証明 機械定理証明 mechanical theorem proving[電情]
- 定理証明 theorem proving
- 定理証明法 theorem proving method
- 定理証明プログラム theorem proving program
- 光学定理 optical theorem
- 幾何学 幾何学 きかがく geometry
- 証明機能 attest function
- 証明機関 1 certificate authority 証明機関 2 certifying authority《コ》
- 代数幾何学 algebraic geometry