Общая информация
Поиск атрибутный
Организаций
Персон
Структура учреждений РАН
Алгоритм поиска противоречий в продукционных ЭС и синтез программ тестирования проектируемых технических устройств.
Л. Я.
Поспелова
,
И. Г.
Поспелов
,
И. Г.
Пронина
Системы и средства информатики. Ежегодник РАН. - М., Наука,
,
Выпуск 5-й.
, 01.1993 , с. 5 - 14, язык: русский
Последние изменения: 20.02.2001
Поиск ресурсов
119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
©
РАН
2007