Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
висновок, вывод
вывод теорем
Документи:
Алгоритмы вывода теорем векторных функций Ляпунова [Текст] / В.М. Матросов, С.Н. Васильев, В.Г. Каратуев и др.; Под ред. В.М. Матросова. – Новосибирск : Наука, 1981. – 271с : ил. – Библиогр.: с. 266-271.
Інформаційно-пошукова система
'УФД/Бібліотека'