Formalization of the Rules of Inference in Erlang
Gespeichert in:
Datum: | 2020 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | English |
Veröffentlicht: |
2020
|
Schriftenreihe: | Mathematical and computer modelling. Series: Technical sciences |
Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0001383766 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
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 |
2025-07-17T13:06:48Z |
last_indexed |
2025-07-17T13:06:48Z |
_version_ |
1837899562168090624 |