 |
| |||
| ВМ для доказательства теорем; машина логического вывода; механизм логического вывода | |||
| механизм логического вывода (проблемно-независимый компонент логической системы, оперирующий с базой знаний и формирующий логические выводы в соответствии с определённым алгоритмом правил вывода; программа (программы) подсистемы логического вывода) | |||
| машина вывода (часть ПО в системах искусственного интеллекта) | |||
| механизм логического вывода | |||
| Inferenzmaschine: 1 phrase in 1 subject |
| Electronics | 1 |