Ivanov Ievgen
Articole în reviste din RM - 4, Descărcări - 9, Vizualizări - 3381
ISO 690-2012
Implementation of the Composition-nominative Approach to Program Formalization in Mizar   |
| Ivanov Ievgen , Kornilowicz Artur , Nikitchenko Mykola |
| 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-909 |
Nominative data with ordered set of names  |
| Skobelev Volodymyr , Ivanov Ievgen , Nikitchenko Mykola |
| Computer Science Journal of Moldova |
| Nr. 2(74) / 2017 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 14 August, 2017. Descarcări-2. Vizualizări-699 |
| Proving Properties of Programs on Hierarchical Nominative Data |
| Ivanov Ievgen , Nikitchenko Mykola , Skobelev Volodymyr |
| Computer Science Journal of Moldova |
| Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 6 December, 2016. Descarcări-3. Vizualizări-851 |
| Set-theoretic Analysis of Nominative Data |
| Skobelev Volodymyr , Ivanov Ievgen , Nikitchenko Mykola |
| Computer Science Journal of Moldova |
| Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 26 November, 2015. Descarcări-2. Vizualizări-922 |
