Dictionary
Browse
Translate
About
›
›
→
theorem proving machine — English to Chinese Translation | Lughet
Dictionary
›
English
›
theorem proving machine
←
theorem proving
theoretic
→
English
→
Chinese
Main Dictionary
theorem proving machine
9定理证明机
★
★
★
★
★
Rate this entry
Same word in other sources
theorem proving machine
English
›
Chinese
GetWord Corpus
Related words
the
English
›
Chinese
the
English
›
Chinese
← Search