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-882 |