Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Bulgarian
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Greek
Hungarian
Irish
Italian
Japanese
Latvian
Lithuanian
Maltese
Norwegian Bokmål
Polish
Portuguese
Romanian
Russian
Scottish Gaelic
Serbian Latin
Slovak
Slovene
Spanish
Swedish
Turkish
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
deductions
|
all forms
English
Russian
automated
deduction
автоматическое доказательство теорем
(
Alex_Odeychuk
)
Get short URL
