Formalization of the Rules of Inference in Erlang
Збережено в:
Дата: | 2020 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | 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 | LibNASid |
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 |