Побудова секвенційних числень логік квазіарних предикатів першого порядку / Шкільняк С. С. (2013)
Ukrainian

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

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

Бібліографічний опис:
Шкільняк С. С.  Побудова секвенційних числень логік квазіарних предикатів першого порядку. Штучний інтелект. 2013. № 4. С. 62-73. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000357628

English  Artificial intelligence   /     Issue (2013, 4)

Shkilniak S. S.
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates

Cite:
Shkilniak, S. S. (2013). Construction of Sequent Calculi for First-order Logics of Quasiary Predicates. Artificial intelligence, 4, 62-73. http://jnas.nbuv.gov.ua/article/UJRN-0000357628 [In Ukrainian].

 

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

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