IBN
Închide
............................................................................................................................................................................................................................
ABCDEFGHIJKLMNOPQRSTUVWXYZ
АБВГДЖЗИКЛМНОПРСТУФХЦЧЮЯ
............................................................................................................................................................................................................................
University of Bialystok
Distribuirea autorilor în funcție de sex Distribuirea autorilor în funcție de sex

Cuvinte-cheie (6): semistructured data (2), program semantics (2), Formal methods (2)
Dinamica articolelor pe ani
Distribuirea numărului de pagini publicate pe categorii de reviste și ani
Distribuirea articolelor pe domenii şi ani
Autori unici pe ani
Numărul de articole descărcate pe ani
Numărul de articole accesate pe ani
Colaborarea cu organizaţii din alte ţări
Identificatori (0 ORCID ) %
Brevete
H-index autori

Lista publicaţiilor - 5. Descărcări - 16. Vizualizări - 947.
Articole în reviste din RM - 1. Publicaţii la conferinţe din RM - 4.
XLS PDF DOC
SM ISO690:2012

2018 - 1

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Ivanov Ievgen, Kornilowicz Artur, Nikitcenko Micola
Computer Science Journal of Moldova
Nr. 1(76) / 2018 / ISSN 1561-4042
Disponibil online 4 May, 2018. Descarcări-2. Vizualizări-303
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 4

On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Ivanov Ievgen, Kornilowicz Artur, Nikitcenko Micola
Conference on Mathematical Foundations of Informatics
2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97.
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-212
-----------------------------------------------------------------------------------------------------------------------------------
Spectroscopic (IR, Raman, UV-VIS) study and thermal analysis of copper, manganese, zinc, nickel and cobalt complexes with 4-imidazolecarboxylic acid
Swiderski Grzegorz, Wilczewska Agnieszka Zofia, Swislocka Renata, Karlowicz Tomasz, Lewandowski Wlodzimierz
Central and Eastern European Conference on Thermal Analysis and Calorimetry
Editia 4. 2017. Germany. Academica Greifswald. 436-436.
Disponibil online 24 October, 2019. Descarcări-0. Vizualizări-90
-----------------------------------------------------------------------------------------------------------------------------------
Spectroscopic and thermogravimetric study of copper, manganese, zinc, nickel, iron and cobalt complexes with 2,3-pyrazinecarboxylic acid
Swiderski Grzegorz, Swislocka Renata, Wilczewska Agnieszka Zofia, Markiewicz Karolina, Lewandowski Wlodzimierz
Central and Eastern European Conference on Thermal Analysis and Calorimetry
Editia 4. 2017. Germany. Academica Greifswald. 433-433.
Disponibil online 24 October, 2019. Descarcări-0. Vizualizări-61
-----------------------------------------------------------------------------------------------------------------------------------
The structures and thermogravimetric study 3d-metal complexes with pyrazine-2-carboxylic acid
Swiderski Grzegorz, Wojtulewski Slawomir, Wilczewska Agnieszka Zofia, Swislocka Renata, Lewandowski Wlodzimierz
Central and Eastern European Conference on Thermal Analysis and Calorimetry
Editia 4. 2017. Germany. Academica Greifswald. 432-432.
Disponibil online 24 October, 2019. Descarcări-3. Vizualizări-110
-----------------------------------------------------------------------------------------------------------------------------------
1 - 5 of 5