Алгоритмы вывода теорем метода векторных функций Ляпунова / 
В.М. Матросов, С.Н. Васильев, В.Г. Каратуев и др. ; Под ред. В.М. Матросова. 
 - Новосибирск :  Наука. Сиб. отд-ние,  1981. 
 - 271 с. :  ил. ;  22 см. 
<br/><br/> Авт. указаны на обороте тит. л. 
<br/><br/>В надзаг.: АН СССР, Сиб. отд-ние, Иркут. ВЦ 
<br/><br/><label>ISBN: </label> 230.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Теоремы - Доказательство на вычислительных машинах<br/>Функции Ляпунова