mechanical theorem proving
| in
| geometry
| mechanical theorem proving | |
| IT | 机器定理证明 |
| met. | 机器证明; 机器验证 |
| -in | |
| chem. | 碱; 因 |
| in | |
| meas.inst. | 英寸 的符号 |
| textile | 向内携裆 |
| in- | |
| anim.husb. | 不 |
| med. | 内 |
| pref. | "在内"; "向内"; "非"; "无" |
| geometries | |
| bridg.constr. | 几何图形 |
| compr. | 几何学图形 |
| earth.sc. | 几何图形学 |
| geometry | |
| avia. | 几何图 |
| met. | 几何形状 |
| met. од. | 几何 |
| oil | 几何形态 |
| sport. med. | 几何学; 几何形状 |
| steel. | 几何尺寸 |
| |||
| 机器定理证明 | |||
| 机器证明; 机器验证 | |||
| 定理的机器证明 | |||
|
mechanical theorem proving : 1 phrase in 1 subject |
| Artificial intelligence | 1 |