Afișare rezultate
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
Ivanov Ievgen1, Kornilowicz Artur2, Nikitcenko Micola1 |
1 Taras Shevchenko National University of Kyiv, |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-622 |
Implementation of the Composition-nominative Approach to Program Formalization in Mizar |
Ivanov Ievgen1, Kornilowicz Artur2, Nikitcenko Micola1 |
1 Taras Shevchenko National University of Kyiv, |
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-898 |
1-2 of 2