Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Bulgarian
Chinese
Chinese simplified
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
German
Greek
Hebrew
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Maltese
Polish
Portuguese
Romanian
Russian
Scottish Gaelic
Serbian
Serbian Latin
Slovak
Slovene
Spanish
Swedish
Thai
Turkish
Ukrainian
Terms
for subject
Artificial intelligence
containing
benchmark
|
all forms
|
exact matches only
English
Russian
SMT
benchmark
problem
эталонная задача для решателя задач выполнимости формул в теориях
(
Alex_Odeychuk
)
Get short URL
