Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Afrikaans
Arabic
Catalan
Chinese
Czech
Danish
Dutch
English
Esperanto
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Italian
Japanese
Kalmyk
Latvian
Norwegian Bokmål
Polish
Portuguese
Spanish
Swedish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Artificial intelligence
containing
более
|
all forms
|
exact matches only
Russian
English
выполнимость логических формул в одной и
более
теориях
satisfiability of logical formulas over one or more theories
(
Alex_Odeychuk
)
Get short URL
