定理证明机

定理证明机

ピンイン dìng lǐ zhèng míng jī
英語訳 theorem proving machine