«automated reasoning»

automated reasoning в энциклопедиях

Поделиться

English-Russian big polytechnic dictionary

автоматизация формулирования логических выводов

bottom-up reasoning — индуктивный вывод