IBN
Închide

Kornilowicz Artur

Publicaţii la conferinţe din RM - 1, Descărcări - 8, Vizualizări - 194
XLS PDF DOC
ISO 690-2012

2017 - 1

On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Ivanov Ievgen, Kornilowicz Artur, Nikitcenko Micola
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-194
-----------------------------------------------------------------------------------------------------------------------------------
1 - 1 of 1