【计】 定理机器证明
在线英汉词典
theorem machine prove
相关词语
- undecidability theorem 不可判定性定理...
- Whittaker-Shannon sampling theorem 维特克-香农抽样定理...
- kuratowski's theorem 库拉托斯基定理...
- addition theorem 加法定理...
- circuital theorem of electrostatic field 静电场的环路定理...
- Foster's reactance theorem 符斯特电抗定理...
- factorization theorem 因子分解定理...
- Greibach normal form theorem 格雷巴赫范式定理...
- Hall's theorem 霍耳定理...
- Pythagorean theorem 毕达哥拉斯定理,勾股定理...
- rayleigh reciprocity theorem Rayleigh互易定理...
- Kramer's theorem 克拉玛定理...
- Kramers' theorem 克雷默斯定理...
- Bartlett's bisection theorem 巴特莱特中分定理...
- pairing function theorem 配对函数定理...
- Cayley-Hamilton theorem 凯莱-哈蜜顿定理...
- Nernst theorem 能斯特定理...
- Herbrand theorem 海尔勃朗定理...
- factor theorem 因子定理...
- antecedent theorem 前提定理...