Formalization of the Rules of Inference in Erlang

Gespeichert in:
Bibliographische Detailangaben
Datum:2020
1. Verfasser: S. I. Shapovalova
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 | 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 2025-07-17T13:06:48Z
last_indexed 2025-07-17T13:06:48Z
_version_ 1837899562168090624