Логіки квазіарних предикатів кванторно-екваційного рівня / Нікітченко М. С., Шкільняк С. С. (2012)
Ukrainian

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

Нікітченко М. С., Шкільняк С. С.
Логіки квазіарних предикатів кванторно-екваційного рівня

Бібліографічний опис:
Нікітченко М. С., Шкільняк С. С. Логіки квазіарних предикатів кванторно-екваційного рівня. Проблеми програмування. 2012. № 4. С. 19-34. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000048208

English  Problems in programming   /     Issue (2012, 4)

translit Transliteration

Nikitchenko M. S., Shkilniak S. S.
Lohiky kvaziarnykh predykativ kvantorno-ekvatsiinoho rivnia

Cite:
Nikitchenko, M. S., Shkilniak, S. S. (2012). Lohiky kvaziarnykh predykativ kvantorno-ekvatsiinoho rivnia. Problems in programming, 4, 19-34 http://jnas.nbuv.gov.ua/article/UJRN-0000048208 [In Ukrainian].

 

Institute of Information Technologies of VNLU

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