Нитежук Марина Сергеевна · LibMeta · SciLib
IMT journal IMT authorPerson

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

http://libmeta.ru/resource/person_imt_128

Description

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

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

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

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