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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000786090
  Штучний інтелект  Б - 2021  /     Випуск (2016, № 4)

Шкільняк С. С., Волковицький Д. Б.
Секвенційні числення логік безкванторно-функціональних рівнів

Бібліографічний опис:
Шкільняк С. С., Волковицький Д. Б. Секвенційні числення логік безкванторно-функціональних рівнів. Штучний інтелект. 2016. № 4. С. 50-62. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000786090

English  Artificial intelligence   /     Issue (2016, 4)

Shkilniak S. S., Volkovytskyi D. B.
Sequent calculi for logics of free-quantifier functional levels

Cite:
Shkilniak, S. S., Volkovytskyi, D. B. (2016). Sequent calculi for logics of free-quantifier functional levels. Artificial intelligence, 4, 50-62. http://jnas.nbuv.gov.ua/article/UJRN-0000786090 [In Ukrainian].

 

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

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