機械的公理証明

日 [きかいてきこうりしょうめい] [kikaitekikourisyoumei]

読み方きかいてきこうりしょうめい
中国語訳定理的机器证明、机械式定理证明