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.
check satisfiability of
logical formulas
проверить выполнимость логических формул
(
Alex_Odeychuk
)
AI.
check satisfiability of
logical formulas
определить выполнимость логических формул
(
Alex_Odeychuk
)
math.
logical formula
логическая формула
progr.
multi-set of
logical formulas
множество с повторяющимися логическими формулами
(
Alex_Odeychuk
)
AI.
satisfiability of
logical formulas
выполнимость логических формул
(Microsoft
Alex_Odeychuk
)
AI.
satisfiability of
logical formulas
over one or more theories
выполнимость логических формул в одной и более теориях
(
Alex_Odeychuk
)
AI.
satisfiability of
logical formulas
with quantifiers
выполнимость логических формул, содержащих кванторы
(Microsoft
Alex_Odeychuk
)
progr.
visual representation of
logical formulas
визуализация логических формул
(в языке программирования с управляющей графикой
Alex_Odeychuk
)
progr.
visualization of
logical formulas
визуализация логических формул
(
Alex_Odeychuk
)
Get short URL