Разработка математического обеспечения для доказательных вычислений на ЕС ЭВМ

Вы здесь

Автор:

Панкова Г. Д.

Количество экземпляров:

Вид:

Автореферат

Год:

1982

Ключевые слова:

разработка

математическое обеспечение

доказательные вычисления

Стр.:

13 с.

Библиография:

Библиогр.: c.12-13

Место защиты:

Новосибирск

Номер специальности:

01.01.10

Карточка:

Панкова Г. Д..

Разработка математического обеспечения для доказательных вычислений на ЕС ЭВМ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.10.-Новосибирск, 1982.-13 с.
Библиогр.: c.12-13