Generat de www.ibn.idsi.md
Copyright © 2011-2024 Instrumentul Bibliometric Naţional.
Institutul de Dezvoltare a Societăţii Informaţionale.
Actualizat: 29.03.2024, accesat: 29.03.2024
Disponibil: https://ibn.idsi.md


Lista publicaţiilor: Kornilowicz Artur (1), Descărcări - 2, Vizualizări - 882

Categoria A, 2018 - 1


Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Ivanov Ievgen, Kornilowicz Artur, Nikitchenko Mykola
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-882
-----------------------------------------------------------------------------------------------------------------------------------