Полное описание
> Computer aided proof in analysis : proc.of an IMA Participating inst.conf.,Cincinnati(Oh),Apr.1989 / Ed.: K. R. Meyer, D. S. Schmidt ; сост.ed. K. R. Meyer, сост.ed. D. S. Schmidt. - New York [etc.] : Springer, 1991. - 251 p. : ill. - (The IMA volumes in mathematics and its applications / Inst.for mathematics and its applications(IMA);IMA ; vol.28). - ISBN 0-387-97426-1. - Текст : непосредственный.
Библиогр.в конце ст.
ГРНТИ | УДК | |
27.03.19 | 510.7(063) | |
03.91 |
Рубрики:
Доказательств теория -- Съезды и конференции
Доп. точки доступа:
Meyer, K.R.\ed.\
Schmidt, D.S.\ed.\
Institute for mathematics and its applications (Minneapolis,Mn)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/15549/28)>
Шифр в сводном ЭК: 988d99b0f698a7d6b60c09a943303b53
Заказ фрагмента документа ₽