Kurgaev, A.F., Glushkov Institute of Cybernetics NAS of Ukraine
-
No 4 (2017) - Formal methods of software development
The definition of formal languages in the meta language of normal forms of knowledge
Abstract PDF (Русский) -
No 3 (2019) - Theory and Methodology of Programming
The modification of the meta-language of normal forms of knowledge
Abstract PDF (Русский) -
No 1 (2020) - Theory and Methodology of Programming
The description of lists and sets of meta-language of normal forms of knowledge
Abstract PDF (Русский)