Композиційно-номінативні логіки безкванторних рівнів / Шкільняк С. С., Волковицький Д. Б. (2016)
Ukrainian

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

Шкільняк С. С., Волковицький Д. Б.
Композиційно-номінативні логіки безкванторних рівнів

Бібліографічний опис:
Шкільняк С. С., Волковицький Д. Б. Композиційно-номінативні логіки безкванторних рівнів. Проблеми програмування. 2016. № 2-3(спец. вип.). С. 48-62. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000518770

English  Problems in programming   /     Issue (2016, 2-3(спец. вип.))

Shkilniak S. S., Volkovytskyi D. B.
Composition-nominative logics of free-quantifier levels

Cite:
Shkilniak, S. S., Volkovytskyi, D. B. (2016). Composition-nominative logics of free-quantifier levels. Problems in programming, 2-3(спец. вип.), 48-62. http://jnas.nbuv.gov.ua/article/UJRN-0000518770 [In Ukrainian].

 

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

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