Formalization of the Rules of Inference in Erlang

Збережено в:
Бібліографічні деталі
Дата:2020
Автор: S. I. Shapovalova
Формат: Стаття
Мова:English
Опубліковано: 2020
Назва видання:Mathematical and computer modelling. Series: Technical sciences
Онлайн доступ:http://jnas.nbuv.gov.ua/article/UJRN-0001383766
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS
id open-sciencenbuvgovua-17017
record_format dspace
spelling open-sciencenbuvgovua-170172024-02-25T18:08:41Z Formalization of the Rules of Inference in Erlang S. I. Shapovalova 2308-5916 2020 en Mathematical and computer modelling. Series: Technical sciences http://jnas.nbuv.gov.ua/article/UJRN-0001383766 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Mathematical and computer modelling. Series: Technical sciences
spellingShingle Mathematical and computer modelling. Series: Technical sciences
S. I. Shapovalova
Formalization of the Rules of Inference in Erlang
format Article
author S. I. Shapovalova
author_facet S. I. Shapovalova
author_sort S. I. Shapovalova
title Formalization of the Rules of Inference in Erlang
title_short Formalization of the Rules of Inference in Erlang
title_full Formalization of the Rules of Inference in Erlang
title_fullStr Formalization of the Rules of Inference in Erlang
title_full_unstemmed Formalization of the Rules of Inference in Erlang
title_sort formalization of the rules of inference in erlang
publishDate 2020
url http://jnas.nbuv.gov.ua/article/UJRN-0001383766
work_keys_str_mv AT sishapovalova formalizationoftherulesofinferenceinerlang
first_indexed 2024-03-30T07:29:08Z
last_indexed 2024-03-30T07:29:08Z
_version_ 1796879044055138304