Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Albanian
Amharic
Arabic
Armenian
Assamese
Azerbaijani
Basque
Bengali
Bosnian
Bosnian cyrillic
Bulgarian
Chinese
Chinese Taiwan
Chinese simplified
Croatian
Czech
Danish
Dutch
English
Esperanto
Estonian
Filipino
Finnish
French
Georgian
German
Greek
Gujarati
Hausa
Hebrew
Hindi
Hungarian
Icelandic
Igbo
Indonesian
Inuktitut
Irish
Italian
Japanese
Kannada
Kazakh
Khmer
Kinyarwanda
Konkani
Korean
Kyrgyz
Lao
Latvian
Lithuanian
Luxembourgish
Macedonian
Malay
Malayalam
Maltese
Maori
Marathi
Nepali
Norwegian
Norwegian Bokmål
Odia
Pashto
Persian
Polish
Portuguese
Punjabi
Quechuan
Romanian
Scottish Gaelic
Serbian Latin
Sesotho sa leboa
Sinhala
Slovak
Slovene
Spanish
Swahili
Swedish
Tajik
Tamil
Tatar
Telugu
Thai
Tswana
Turkish
Turkmen
Ukrainian
Urdu
Uzbek
Vietnamese
Welsh
Wolof
Xhosa
Yoruba
Zulu
Terms
for subject
Artificial intelligence
containing
совместимый
|
all forms
|
exact matches only
Russian
English
совместимый
решатель
conforming solver
(
Alex_Odeychuk
)
совместимый
решатель задач выполнимости формул в теориях
conforming SMT solver
(
Alex_Odeychuk
)
Get short URL
