English-Russian big polytechnic dictionary
автоматизация формулирования логических выводов
bottom-up reasoning — индуктивный вывод
automated reasoning в энциклопедиях
автоматизация формулирования логических выводов
bottom-up reasoning — индуктивный вывод