Uyghur←ChineseMain Dictionary
يىغىنچاقلاش تېئورېمىسىنى ئىسپاتلاش پروگراممىسى
Domain: ئۇنىۋېرسال归结定理证明程序
guī jié dìng lǐ zhèng míng chéng xù
GetWord Corpus
9归结定理证明程序
guī jié dìng lǐ zhèng míng chéng xù
About this entry
This is a Uyghur–Chinese dictionary entry.
Sourced from Main Dictionary in Lughet's collection.
This word also appears under other sources in Lughet's collection — see the list below.