Sign in | English | Terms of Use
DictionaryForumContacts

   Chinese ⇄
Google | Forvo | +
to phrases
定理证明程序
tech. theorem prover
定理证明程序
: 1 phrase in 1 subject
Artificial intelligence1

 The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Add | The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">Report an error | Get short URL | Language Selection Tips