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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000152078
  Kompiuternaia matematyka  В - 2014  /     Issue (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].

 

Institute of Information Technologies of VNLU

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