定理的机器证明

定理的机器证明

ピンイン dìng lǐ de jī qi zhèng míng
日本語訳 機械的公理証明、機械定理証明