自動定理証明法

【じどうていりしょうめいほう】

自動定理証明法

读成： じどうていりしょうめいほう
中文： 机械证明定理