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

English  Kompiuternaia matematyka   /     Issue (2013, 2)

translit Transliteration


Shkilniak S. S.
Sekventsiini systemy lohichnoho vyvedennia pershoporiadkovykh lohik chastkovykh predykativ


Cite:
Shkilniak, S. S. (2013). Sekventsiini systemy lohichnoho vyvedennia pershoporiadkovykh lohik chastkovykh predykativ. Kompiuternaia matematyka, 2, 88-96 http://jnas.nbuv.gov.ua/article/UJRN-0000152078 [In Ukrainian].

 

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


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