Kornilowicz Artur
Publicaţii la conferinţe din RM - 1, Descărcări - 8, Vizualizări - 605
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-605 |