Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів / Шкільняк О. С. (2017)
Ukrainian

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

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

Бібліографічний опис:
Шкільняк О. С.  Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів. Проблеми програмування. 2017. № 1. С. 21-29. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000687273

English  Problems in programming   /     Issue (2017, 1)

Shkilniak O. S.
Logical consequence relations in logics of monotone predicates and logics of antitone predicates

Cite:
Shkilniak, O. S. (2017). Logical consequence relations in logics of monotone predicates and logics of antitone predicates. Problems in programming, 1, 21-29. http://jnas.nbuv.gov.ua/article/UJRN-0000687273 [In Ukrainian].

 

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

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