Доказательные вычисления на электронных вычислительных машинах — Самарская областная универсальная научная библиотека

Панков, Павел Сергеевич.

Доказательные вычисления на электронных вычислительных машинах [текст] / Панков Павел Сергеевич ; АН КиргССР, Ин-т физики и математики. - Фрунзе : Илим, 1978. - 179 с. : черт. - Список лит.: с. 172-177 (48 назв.).

Автор: Панков Павел Сергеевич

Основное заглавие: Доказательные вычисления на электронных вычислительных машинах

Ответственность: АН КиргССР, Ин-т физики и математики

Физический носитель: текст

Год публикации: 1978

Место издания: Фрунзе

Издательство: Илим

Объем: 179 с.

Ключевые слова: Непрерывные функции; Вычисления; Вычислительные машины

ББК: 517.211+22.161.04

Библиография: Список лит.: с. 172-177 (48 назв.)