Afișare rezultate |
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "algorithmic
algebras"
Proving Properties of Programs on Hierarchical Nominative Data |
Ivanov Ievgen1, Nikitcenko Micola1, Skobelev Volodymyr2 |
1 Taras Shevchenko National University of Kyiv, |
Computer Science Journal of Moldova |
Nr. 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 |
Disponibil online 6 December, 2016. Descarcări-3. Vizualizări-882 |
1-1 of 1