ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
В диссертации приведен алгоритм поиска вывода для систем негативных силлогистик, к-рые построены как расширение позитивных. Также приведена соответствующая программа поиска вывода на языке Object Pascal.