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

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

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

Бібліографічний опис:
Шкільняк С. С.  Секвенційні числення композиційно-номінотивних логік квазіарних предикатів. Проблеми програмування. 2012. № 2-3. С. 33-43. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000048145

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

translit Transliteration

Shkilniak S. S.
Sekventsiini chyslennia kompozytsiino-nominotyvnykh lohik kvaziarnykh predykativ

Cite:
Shkilniak, S. S. (2012). Sekventsiini chyslennia kompozytsiino-nominotyvnykh lohik kvaziarnykh predykativ. Problems in programming, 2-3, 33-43 http://jnas.nbuv.gov.ua/article/UJRN-0000048145 [In Ukrainian].

 

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

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