theoremproving machine
theoremproving machine是什么意思、theoremproving machine怎么读
【计】 定理证明机
theoremproving machine汉语翻译
【计】 定理证明机