- 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.2.Articole în reviste de cat. B+ - 1
- 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 - 1
Many-Sorted First-Order Composition-Nominative Logic as Institution |
Chentsov Alexey |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 1(70) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 28 April, 2016. Descarcări-4. Vizualizări-671 |