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
Artificial intelligence
containing
proving
|
all forms
|
exact matches only
English
Chinese
mechanical theorem
proving
in geometry
几何定理机器证明
nonresolution theorem
proving
非归结定理证明
Theorem
Proving
System
定理证明系统
Get short URL