Труды Международной конференции по численному анализу с автоматической верификацией результатов. Лафайетт, Луизиана, США, 25 февраля - 1 марта, 1993
П7/2315 русский (rus)/английский (eng)/Труды Международной конференции по численному анализу с автоматической верификацией результатов. Лафайетт, Луизиана, США, 25 февраля - 1 марта, 1993 = Proceedings of the International conference on numerical analysis with automatic result verification, Lafayette, Louisiana, USA, February 25 - March 1, 1993 .Труды Международной конференции по численному анализу с автоматической верификацией результатов. Лафайетт, Луизиана, США, 25 февраля - 1 марта, 1993.Труды Международной конференции по численному анализу с автоматической верификацией результатов. Лафайетт, Луизиана, США, 25 февраля - 1 марта, 1993 = Proceedings of the International conference on numerical analysis with automatic result verification, Lafayette, Louisiana, USA, February 25 - March 1, 1993.СПб./М./Б. и./, 1993 ( ). - Б. и., 1993. - 220 с. : ил. ; 22 см. - (Интервальные вычисления / Ин-т новых технологий ; № 4: Спец. вып.).Труды Международной конференции по численному анализу с автоматической верификацией результатов. Лафайетт, Луизиана, США, 25 февраля - 1 марта, 1993. СПб., М., 1993 .
Текст на англ. яз. Рез. на рус. яз. - Библиогр. в конце ст. Библиогр. в конце ст.Proceedings of the International conference on numerical analysis with automatic result verification, Lafayette, Louisiana, USA, February 25 - March 1, 1993/ Международная конф. по численному анализу с автоматической верификацией результатов ( 1993; Лафайетт, США ).
Текст на англ. яз. Рез. на рус. яз. - Библиогр. в конце ст. Библиогр. в конце ст.Proceedings of the International conference on numerical analysis with automatic result verification, Lafayette, Louisiana, USA, February 25 - March 1, 1993/ Международная конф. по численному анализу с автоматической верификацией результатов ( 1993; Лафайетт, США ).