Afișare rezultate |    SM ISO690:2012 |
Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "semistructured
data"
| 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-623 |
| 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-899 |
    |
1-2 of 2
