Ivanov Ievgen
Publicaţii la conferinţe din RM - 3, Descărcări - 12, Vizualizări - 2027
ISO 690-2012
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System  |
| Ivanov Ievgen , Kornilowicz Artur , Nikitchenko Mykola |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97. |
| Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-632 |
| Properties of Nominative Programs Specified by Effective Definitional Schemes |
| Ivanov Ievgen , Nikitchenko Mykola , Skobelev Volodymyr |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. "VALINEX" SRL. 222-240. |
| Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-657 |
| Analysis of Nominative Data Sets Structure |
| Skobelev Volodymyr , Ivanov Ievgen , Nikitchenko Mykola |
| Workshop on Foundations of Informatics |
| I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 65-76. |
| Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-738 |
