Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Chinese
Czech
English
Esperanto
French
German
Greek
Hungarian
Italian
Japanese
Norwegian Bokmål
Polish
Russian
Scottish Gaelic
Serbian Latin
Spanish
Swedish
Ukrainian
Uzbek
Terms
for subject
Information technology
containing
proving
|
all forms
English
Chinese
automatic theorem
proving
自动定理证明
machine theorem
proving
机器定理证明
mechanical theorem
proving
机器定理证明
Get short URL
