セオレムプルーバ

日 [せおれむぷるーば] [seoremupuru-ba]

セオレムプルーバ

读成：せおれむぷるーば
中文：定理证明程式、定理证明程序、定理证明器

相关/近似词汇：

定理证明器定理证明程序定理证明程式