Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Chinese
Esperanto
French
German
Greek
Hungarian
Polish
Russian
Serbian Latin
Ukrainian
Uzbek
Terms
for subject
Artificial intelligence
containing
automatical
|
all forms
English
Russian
automatic
backtracking
автоматический поиск с возвратом
(
Alex_Odeychuk
)
automatic
backtracking
автоматический перебор с возвратами
(
Alex_Odeychuk
)
automatic
backtracking
автоматический перебор с возвратом
(
Alex_Odeychuk
)
automatic
data mining
автоматический поиск скрытых закономерностей в данных
(
Alex_Odeychuk
)
automatic
data mining
автоматический анализ скрытых закономерностей в данных
(
Alex_Odeychuk
)
automatic
processing of alternatives
автоматический перебор альтернатив
(механизмом перебора (поиска) с возвратом в коде на языке логического программирования
Alex_Odeychuk
)
automatic
theorem prover
автоматический доказатель теорем
(Microsoft
Alex_Odeychuk
)
automatic
theorem prover for satisfiability modulo theories
автоматический доказатель теорем о выполнимости формул в теориях
(
Alex_Odeychuk
)
automatic
theorem prover for satisfiability modulo theories problems
автоматический доказатель теорем для задач выполнимости формул в теориях
(
Alex_Odeychuk
)
automatic
theorem prover for SMT problems
автоматический доказатель теорем для задач выполнимости формул в теориях
(SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях"
Alex_Odeychuk
)
automatic
theorem prover for SMT problems
автоматический доказатель теорем для задач выполнимости формул в теориях
Get short URL