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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000047754
  Problems in programming  Б - 2020  /     Issue (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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209