Об одном подходе к верификации алгебраических вычислений / Львов М. С. (2011)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000047754
  Проблеми програмування  Б - 2020  /     Випуск (2011, № 4)

Львов М. С.
Об одном подходе к верификации алгебраических вычислений

Бібліографічний опис:
Львов М. С.  Об одном подходе к верификации алгебраических вычислений. Проблеми програмування. 2011. № 4. С. 23-35. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000047754

English  Problems in programming   /     Issue (2011, 4)

translit Transliteration

Lvov M. S.
Ob odnom podkhode k verifikatsii algebraicheskikh vychislenij

Cite:
Lvov, M. S. (2011). Ob odnom podkhode k verifikatsii algebraicheskikh vychislenij. Problems in programming, 4, 23-35 http://jnas.nbuv.gov.ua/article/UJRN-0000047754 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна