Pure first-order logics of quasiary predicates / Nikitchenko, M. S., Shkilniak, O. S., Shkilniak, S. S. (2016)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000518772
  Problems in programming  Б - 2020  /     Issue (2016, № 2-3(спец. вип.))

Нікітченко М. С., Шкільняк О. С., Шкільняк С. С.
Чисті першопорядкові логіки квазіарних предикатів

Бібліографічний опис:
Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. Чисті першопорядкові логіки квазіарних предикатів. Проблеми програмування. 2016. № 2-3(спец. вип.). С. 73-86. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000518772

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

Nikitchenko M. S., Shkilniak O. S., Shkilniak S. S.
Pure first-order logics of quasiary predicates

Cite:
Nikitchenko, M. S., Shkilniak, O. S., Shkilniak, S. S. (2016). Pure first-order logics of quasiary predicates. Problems in programming, 2-3(спец. вип.), 73-86. http://jnas.nbuv.gov.ua/article/UJRN-0000518772 [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