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

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

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

Бібліографічний опис:
Шкільняк О. С.  Секвенційні числення темпоральних і мультимодальних логік часткових предикатів. Штучний інтелект. 2013. № 1. С. 55-66. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000357193

English  Artificial intelligence   /     Issue (2013, 1)

Shkilniak O. S.
Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates

Cite:
Shkilniak, O. S. (2013). Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates. Artificial intelligence, 1, 55-66. http://jnas.nbuv.gov.ua/article/UJRN-0000357193 [In Ukrainian].

 

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

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