Задача проверки Т-выполнимости для логического языка VL1 системы VRS / Тимофеев В. Г. (2012)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000048171
  Problems in programming  Б - 2020  /     Issue (2012, № 2-3)

Тимофеев В. Г.
Задача проверки Т-выполнимости для логического языка VL1 системы VRS

Бібліографічний опис:
Тимофеев В. Г.  Задача проверки Т-выполнимости для логического языка VL1 системы VRS. Проблеми програмування. 2012. № 2-3. С. 251-259. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000048171

English  Problems in programming   /     Issue (2012, 2-3)

translit Transliteration

Timofeev V. G.
Zadacha proverki T-vypolnimosti dlja logicheskogo jazyka VL1 sistemy VRS

Cite:
Timofeev, V. G. (2012). Zadacha proverki T-vypolnimosti dlja logicheskogo jazyka VL1 sistemy VRS. Problems in programming, 2-3, 251-259 http://jnas.nbuv.gov.ua/article/UJRN-0000048171 [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