Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "formalization"
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-643 |
1-1 of 1