Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Artificial intelligence
containing
logical formulas
|
all forms
|
exact matches only
|
in specified order only
English
Russian
check satisfiability of
logical formulas
проверить выполнимость логических формул
(
Alex_Odeychuk
)
check satisfiability of
logical formulas
определить выполнимость логических формул
(
Alex_Odeychuk
)
satisfiability of
logical formulas
выполнимость логических формул
(Microsoft
Alex_Odeychuk
)
satisfiability of
logical formulas
over one or more theories
выполнимость логических формул в одной и более теориях
(
Alex_Odeychuk
)
satisfiability of
logical formulas
with quantifiers
выполнимость логических формул, содержащих кванторы
(Microsoft
Alex_Odeychuk
)
Get short URL