- 3. Articole în reviste din RM
- 3.1. Articole în reviste științifice din RM (perioada în care au avut categorie de clasificare + 2 numere până la aprobarea statutului de publicație științifică)
- 3.1.1.Articole în reviste de cat. A - 1
- 5. Publicaţii la manifestări din RM
- 5.3.Publicații la alte manifestări din RM - 1
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System ![]() |
Ivanov Ievgen1 , Kornilowicz Artur2 , Nikitchenko Mykola1 |
1 Taras Shevchenko National University of Kyiv, 2 University of Bialystok |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-683 |