Kornilowicz Artur
Articole în reviste din RM - 1, Descărcări - 2, Vizualizări - 894
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-894 |
