Nikitcenko Micola
Articole în reviste din RM - 7, Descărcări - 31, Vizualizări - 5678
ISO 690-2012
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition    |
| Nikitchenko Mykola , Shkilniak Oksana , Shkilniak Stepan , Mamedov Tohrul |
| Computer Science Journal of Moldova |
| Nr. 2(80) / 2019 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 22 September, 2019. Descarcări-2. Vizualizări-688 |
| Implementation of the Composition-nominative Approach to Program Formalization in Mizar |
| Ivanov Ievgen , Kornilowicz Artur , Nikitchenko Mykola |
| 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 |
Nominative data with ordered set of names  |
| Skobelev Volodymyr , Ivanov Ievgen , Nikitchenko Mykola |
| Computer Science Journal of Moldova |
| Nr. 2(74) / 2017 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 14 August, 2017. Descarcări-2. Vizualizări-699 |
| Proving Properties of Programs on Hierarchical Nominative Data |
| Ivanov Ievgen , Nikitchenko Mykola , Skobelev Volodymyr |
| 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-847 |
| Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates |
| Nikitchenko Mykola , Shkilniak Stepan |
| Computer Science Journal of Moldova |
| Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-760 |
| Set-theoretic Analysis of Nominative Data |
| Skobelev Volodymyr , Ivanov Ievgen , Nikitchenko Mykola |
| Computer Science Journal of Moldova |
| Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 26 November, 2015. Descarcări-2. Vizualizări-922 |
| Basics of Intensionalized Data: Presets, Sets, and Nominats |
| Nikitchenko Mykola , Chentsov Alexey |
| Computer Science Journal of Moldova |
| Nr. 3(60) / 2012 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 16 December, 2013. Descarcări-3. Vizualizări-863 |
