Formalization of the Rules of Inference in Erlang / Shapovalova, S. I. (2020)
Ukrainian

English  Mathematical and computer modelling. Series: Technical sciences   /     Issue (2020, 21)

Shapovalova S. I.
Formalization of the Rules of Inference in Erlang


Cite:
Shapovalova, S. I. (2020). Formalization of the Rules of Inference in Erlang. Mathematical and computer modelling. Series: Technical sciences, 21, 125-139. http://jnas.nbuv.gov.ua/article/UJRN-0001383766 [In Ukrainian].

 

Institute of Information Technologies of VNLU


+38 (044) 525-36-24
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209