定理证明机

【计】 theoremproving machine

定理证明的英语翻译：

【计】 theorem proving; theoremproving

机的英语翻译：

chance; crucial point; engine; machine; occasion; organic; pivot; plane
flexible
【医】 machine