Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Bulgarian
Chinese
Chinese Taiwan
Chinese simplified
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Greek
Hebrew
Hungarian
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Malay
Maltese
Norwegian Bokmål
Polish
Portuguese
Romanian
Russian
Scottish Gaelic
Serbian Latin
Slovak
Slovene
Spanish
Swedish
Thai
Turkish
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
generic
|
all forms
|
exact matches only
English
Russian
generic
proof assistant
система автоматического доказательства теорем общего назначения
(
Alex_Odeychuk
)
Get short URL
