Нитежук Марина Сергеевна · LibMeta · SciLib
Журнал ИМТ Автор ИМТПерсона

Нитежук Марина Сергеевна

http://libmeta.ru/resource/person_imt_128

Описание

Аспирант кафедры «Информационные системы и защита информации», Аспирант кафедры «Информационные системы и защита информации», e-mail: marino _@yandex.ru

Входящие связи

← автор · 2
НЕКЛАССИЧЕСКИЕ ЛОГИКИ В ЗАДАЧЕ ВЕРИФИКАЦИИ ПРОДУКЦИОННЫХ БАЗ ЗНАНИЙ ОБНАРУЖЕНИЕ ПРОТИВОРЕЧИЙ В ПРОДУКЦИОННОЙ БАЗЕ ЗНАНИЙ СРЕДСТВАМИ VTFЛОГИК

Внешние ссылки