- 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
Implementation of the Composition-nominative Approach to Program Formalization in Mizar |
Ivanov Ievgen1 , Kornilowicz Artur2 , Nikitchenko Mykola1 |
1 Taras Shevchenko National University of Kyiv, 2 University of Bialystok |
Computer Science Journal of Moldova |
Nr. 1(76) / 2018 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 4 May, 2018. Descarcări-2. Vizualizări-965 |