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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000152045
  Kompiuternaia matematyka  В - 2014  /     Issue (2013, Вып. 1)

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

Бібліографічний опис:
Шкільняк О. С.  Семантичні моделі та секвенційні числення транзиційних модальних логік. Компьютерная математика. 2013. Вып. 1. С. 141-150. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000152045

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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209