Вы здесь

Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
С.169-175.
Библиография: 
Библиогр.: c.175
Номер: 
2
Карточка: 

Б5.43, Б3.54.

Непомнящий В. А., Сулимов А. А..

Проблемно-ориентированные базы знаний и их применение в системе верификации программ СПЕКТР// Теория и системы управления-1997, №2.-С.169-175.
Библиогр.: c.175

Таблица в старой библиотеке: 
ISI2 83