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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000152078
  Компьютерная математика  В - 2014  /     Випуск (2013, Вып. 2)

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

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

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
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна