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