定理证明系统

定理证明系统

ピンイン dìng lǐ zhèng míng xì tǒng
英語訳 theorem proving system