TY  - BOOK
TI  - Труды Международной конференции по численному анализу с автоматической верификацией результатов. Лафайетт, Луизиана, США, 25 февраля - 1 марта, 1993
PY  - 1993///
CY  - Б. м.
ER  -