Описание: Алгоритмы вывода теорем метода векторных функций Ляпунова

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	Russian
Год издания:	Новосибирск Наука, Сибирское отделение 1981
Рубрика:	Доказательство на вычислительных машинах
Ключевые слова:	Теоремы Доказательство на вычислительных машинах Функции Ляпунова

Недоступно описание.