Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності / Шкільняк С. С. (2019)
Ukrainian

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

Шкільняк С. С.
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності

Бібліографічний опис:
Шкільняк С. С.  Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності. Проблеми програмування. 2019. № 3. С. 28-44. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001016107

English  Problems in programming   /     Issue (2019, 3)

Shkilniak S. S.
First-order composition-nominative logics with predicates of weak equality and of strong equality

Cite:
Shkilniak, S. S. (2019). First-order composition-nominative logics with predicates of weak equality and of strong equality. Problems in programming, 3, 28-44. http://jnas.nbuv.gov.ua/article/UJRN-0001016107 [In Ukrainian].

 

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

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