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

English  Kompiuternaia matematyka   /     Issue (2013, 1)

translit Transliteration


Shkilniak O. S.
Semantychni modeli ta sekventsiini chyslennia tranzytsiinykh modalnykh lohik


Cite:
Shkilniak, O. S. (2013). Semantychni modeli ta sekventsiini chyslennia tranzytsiinykh modalnykh lohik. Kompiuternaia matematyka, 1, 141-150 http://jnas.nbuv.gov.ua/article/UJRN-0000152045 [In Ukrainian].

 

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


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