IBN
Închide
Nikitcenko Micola
Dinamica numărului de publicaţii pe ani
Dinamica articolelor pe ani
Distribuirea numărului de pagini publicate pe categorii de reviste și ani
Distribuirea articolelor pe domenii şi ani
Colaborarea autorului
Dinamica descărcărilor pe ani
Proiecte(2)

XLS PDF DOC
SM ISO690:2012
DOC
ISO 690:2012Clasificate
  • 3. Articole în reviste din RM
  • 3.1. Articole în reviste științifice din RM (perioada în care au avut categorie de clasificare + 2 numere până la aprobarea statutului de publicație științifică)
  • 3.1.1.Articole în reviste de cat. A - 2
  • 3.1.2.Articole în reviste de cat. B+ - 4
  • 3.1.3.Articole în reviste de cat. B - 1
  • 5. Publicaţii la manifestări din RM
  • 5.3.Publicații la alte manifestări din RM - 8

2019 - 1

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Nikitchenko Mykola , Shkilniak Oksana , Shkilniak Stepan , Mamedov Tohrul
Taras Shevchenko National University of Kyiv
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-744
-----------------------------------------------------------------------------------------------------------------------------------

2018 - 1

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Ivanov Ievgen1 , Kornilowicz Artur2 , Nikitchenko Mykola1
1 Taras Shevchenko National University of Kyiv,
2 University of Bialystok
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-965
-----------------------------------------------------------------------------------------------------------------------------------
1 - 2 of 2