Kornilowicz Artur

On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System

Ivanov Ievgen, Kornilowicz Artur, Nikitcenko Micola, 2017 .

HOW TO DEFINE TERMS IN MIZAR EFFECTIVELY

Kornilowicz Artur, 2009 .