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

2018 - 1

Towards Representation of Free Logic as Logic of Partial Quasiary Predicates
Nikitchenko Mykola , Shkilniak Stepan
T.G. Shevchenko University
Conference on Mathematical Foundations of Informatics
2018. Chișinău. ISBN 978‐9975‐4237‐7‐9.
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-613
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 3

On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Ivanov Ievgen1 , Kornilowicz Artur2 , Nikitchenko Mykola1
1 Taras Shevchenko National University of Kyiv,
2 University of Bialystok
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-678
-----------------------------------------------------------------------------------------------------------------------------------
Program-oriented Logics of Non-Deterministic Quasiary Predicates
Nikitchenko Mykola , Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Conference of Mathematical Society of the Republic of Moldova
4. 2017. Chişinău. ISBN 978-9975-71-915-5.
Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-743
-----------------------------------------------------------------------------------------------------------------------------------
Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates
Nikitchenko Mykola , Shkilniak Stepan
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 20 March, 2018. Descarcări-0. Vizualizări-679
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

Properties of Nominative Programs Specified by Effective Definitional Schemes
Ivanov Ievgen1 , Nikitchenko Mykola1 , Skobelev Volodymyr2
1 Taras Shevchenko National University of Kyiv,
2 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8.
Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-710
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 3

Analysis of Nominative Data Sets Structure
Skobelev Volodymyr1 , Ivanov Ievgen2 , Nikitchenko Mykola2
1 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-784
-----------------------------------------------------------------------------------------------------------------------------------
Institution for Pure First-Order Composition-Nominative Logic
Chentsov Alexey , Nikitchenko Mykola
Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 3 October, 2017. Descarcări-1. Vizualizări-703
-----------------------------------------------------------------------------------------------------------------------------------
Semantic Properties of Logics of Quasiary Predicates
Nikitchenko Mykola , Shkilniak Stepan
Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-666
-----------------------------------------------------------------------------------------------------------------------------------
1 - 8 of 8