机械证明定理
_
automatic theorem proving
automatic theorem proving
пословный:
机械 | 证明定理 | ||
1) тех. машина, механизм; механический, машинный; механизированный; инструментальный
2) механистический; автоматический; машинально, непроизвольно; механически, слепо
3) хитрость, ловкость, изворотливость
|