Terms for subject Artificial intelligence containing algorithm in

English	Russian
backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form	алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk)
conference in the areas of learning algorithms and neural computation	конференция в области алгоритмов обучения и нейросетевых вычислений (Alex_Odeychuk)