Dinamica articolelor pe ani | ![]() |
Distribuirea numărului de pagini publicate pe categorii de reviste și ani | ![]() |
Distribuirea articolelor pe domenii şi ani | ![]() |
Lista publicaţiilor: Kornilowicz Artur (1), Descărcări - 8, Vizualizări - 685
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
Ivanov Ievgen, Kornilowicz Artur, Nikitchenko Mykola |
Buletinul Academiei de Ştiinţe a Moldovei. Ştiinţele vieţii |
Nr. 1(304) / 2008 / ISSN 1857-064X |
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-685 |