IBN
Închide
Kornilowicz Artur
Cuvinte-cheie (6): semistructured data (2), program semantics (2), Formal methods (2)
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

Articole în reviste din RM - 1. Publicaţii la conferinţe din RM - 1.
XLS PDF DOC
SM ISO690:2012

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
Disponibil online 4 May, 2018. Descarcări-2. Vizualizări-126
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 1

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-88
-----------------------------------------------------------------------------------------------------------------------------------
1 - 2 of 2