TY  - BOOK
AU  - Матросов,Владимир Мефодьевич
AU  - Васильев,Станислав Николаевич
AU  - Каратуев,В.Г.
TI  - Алгоритмы вывода теорем метода векторных функций Ляпунова
PY  - 1981///
CY  - Новосибирск
PB  - Наука, Сибирское отделение
KW  - Теоремы - Доказательство на вычислительных машинах
KW  - Функции Ляпунова
N1  - В надзаг.: АН СССР, Сиб. отд-ние, Иркут. ВЦ; Авт. указаны на обороте тит. л; Библиогр.: с. 266-271
ER  -