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