Тематика | Английский | Русский |
ИТ. | algorithm for synthesis of multiple-output combinational logic | алгоритм синтеза многократного вывода комбинаторной логики |
защ.дан. | algorithm logic | логика алгоритма |
ИИ. | backtracking-based search algorithm for deciding the satisfiability of propositional logic formulae in conjunctive normal form | алгоритм поиска с возвратом для определения выполнимости формул логики высказываний, записанных в конъюнктивной нормальной форме (Alex_Odeychuk) |
тех. | logic algorithm | логический алгоритм |
тех. | page-replacement algorithm and control logic | алгоритм и управляющая логическая схема страничного обмена |