Л. Я. Поспелова ,   И. Г. Поспелов ,   И. Г. Пронина Алгоритм поиска противоречий в продукционных ЭС и синтез программ тестирования проектируемых технических устройств.. Системы и средства информатики. Ежегодник РАН. - М., Наука, , Выпуск 5-й. , с. 5 - 14 , 01.1993

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад