Вычислительная техника и программирование

• Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.

semantic entailment

семантическое воплощение (содержательное толкование выводов, полученных формально-логическим путем)