定理证明机
_
theorem-proving machine
пословный:
定理证明 | 机 | ||
тк. в соч.;
1) машина; станок; механизм
2) самолёт
3) ловкий; находчивый
4) случай; возможность
5) важный [решающий] момент 6) словообразовательный элемент, входит в состав существительных, обозначающих машины, аппараты, механизмы и т.п.
|