Pure first-order logics of quasiary predicates

Збережено в:
Бібліографічні деталі
Дата:2016
Автори: M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Формат: Стаття
Мова:English
Опубліковано: 2016
Назва видання:Problems in programming
Онлайн доступ:http://jnas.nbuv.gov.ua/article/UJRN-0000518772
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS
id open-sciencenbuvgovua-46763
record_format dspace
spelling open-sciencenbuvgovua-467632024-02-29T12:39:25Z Pure first-order logics of quasiary predicates M. S. Nikitchenko O. S. Shkilniak S. S. Shkilniak 1727-4907 2016 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0000518772 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Problems in programming
spellingShingle Problems in programming
M. S. Nikitchenko
O. S. Shkilniak
S. S. Shkilniak
Pure first-order logics of quasiary predicates
format Article
author M. S. Nikitchenko
O. S. Shkilniak
S. S. Shkilniak
author_facet M. S. Nikitchenko
O. S. Shkilniak
S. S. Shkilniak
author_sort M. S. Nikitchenko
title Pure first-order logics of quasiary predicates
title_short Pure first-order logics of quasiary predicates
title_full Pure first-order logics of quasiary predicates
title_fullStr Pure first-order logics of quasiary predicates
title_full_unstemmed Pure first-order logics of quasiary predicates
title_sort pure first-order logics of quasiary predicates
publishDate 2016
url http://jnas.nbuv.gov.ua/article/UJRN-0000518772
work_keys_str_mv AT msnikitchenko purefirstorderlogicsofquasiarypredicates
AT osshkilniak purefirstorderlogicsofquasiarypredicates
AT ssshkilniak purefirstorderlogicsofquasiarypredicates
first_indexed 2024-03-30T09:52:19Z
last_indexed 2024-03-30T09:52:19Z
_version_ 1796882152308080640