Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. (2020)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0001163054
  Проблеми програмування  Б - 2020  /     Випуск (2020, № 2-3)

Нікітченко М. С., Шкільняк О. С., Шкільняк С. С.
Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення

Бібліографічний опис:
Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення. Проблеми програмування. 2020. № 2-3. С. 182-197. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001163054

English  Problems in programming   /     Issue (2020, 2-3)

Nikitchenko M. S., Shkilniak O. S., Shkilniak S. S.
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement

Cite:
Nikitchenko, M. S., Shkilniak, O. S., Shkilniak, S. S. (2020). Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement. Problems in programming, 2-3, 182-197. http://jnas.nbuv.gov.ua/article/UJRN-0001163054 [In Ukrainian].

 

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

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