Вы здесь
Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1997
Стр.:
С.169-175.
Библиография:
Библиогр.: c.175
Источник:
Номер:
2
Карточка:
Б5.43, Б3.54.
Непомнящий В. А., Сулимов А. А..
Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР// Теория и системы управления-1997, №2.-С.169-175.
Библиогр.: c.175
Таблица в старой библиотеке:
ISI2 83