автоматический

Russian ⇄

Terms for subject Artificial intelligence containing автоматический | all forms | exact matches only

Russian	English
автоматический анализ видеоинформации	machine vision (Alex_Odeychuk)
автоматический анализ видеоинформации	computer vision (Alex_Odeychuk)
автоматический анализ скрытых закономерностей в данных	automatic data mining (Alex_Odeychuk)
автоматический доказатель теорем	prover (корпорации AdaCore Alex_Odeychuk)
автоматический доказатель теорем	automatic theorem prover (Microsoft Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	automatic theorem prover for SMT problems (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk)
автоматический доказатель теорем для задач выполнимости формул в теориях	automatic theorem prover for SMT problems
автоматический доказатель теорем о выполнимости формул в теориях	automatic theorem prover for satisfiability modulo theories (Alex_Odeychuk)
автоматический перебор альтернатив	automatic processing of alternatives (механизмом перебора (поиска) с возвратом в коде на языке логического программирования Alex_Odeychuk)
автоматический перебор с возвратами	automatic backtracking (Alex_Odeychuk)
автоматический перебор с возвратом	automatic backtracking (Alex_Odeychuk)
автоматический планировщик	automated planner (Alex_Odeychuk)
автоматический поиск с возвратом	automatic backtracking (Alex_Odeychuk)
автоматический поиск скрытых закономерностей в данных	automatic data mining (Alex_Odeychuk)
автоматический синтез информации	information fusion (Alex_Odeychuk)

Get short URL