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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000152045
  Компьютерная математика  В - 2014  /     Випуск (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].

 

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

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