automated theorem proving的意思|示意
美 / /
英 / /
自动定理证明；定理机器证明
automated theorem proving相关短语
1、 automated geometry theorem proving 几何定理机器证明
2、 automated geometric theorem proving 几何定理机器证明
3、 automated proving of theorem 自动推证