Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Danish
Dutch
Finnish
French
German
Greek
Italian
Portuguese
Spanish
Swedish
G
o
o
g
l
e
|
Forvo
|
+
to phrases
mechanical theorem proving
IT
机器定理证明
met.
机器证明
;
机器验证
tech.
定理的机器证明
mechanical theorem proving
:
1 phrase
in 1 subject
Artificial intelligence
1
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