Lista publicaţiilor: Ivanov Ievgen - 1
-----------------------------------------------------------------------------------------------------------------------------------
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
Ivanov Ievgen, Kornilowicz Artur, Nikitchenko Mykola |
1 Taras Shevchenko National University of Kyiv, 2 University of Bialystok |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97. |
Disponibil online 19 March, 2018 |
1-1 of 1