Lista publicaţiilor: Kornilowicz Artur (1), Descărcări - 8, Vizualizări - 633
Articole în materiale ale conferințelor
2017 - 1
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-633 |
