IBN
Închide

Shkilniak Oksana

Publicații indexate în SCOPUS - (1), Descărcări - 2, Vizualizări - 703
XLS PDF DOC
ISO 690-2012

2019 - 1

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Nikitchenko Mykola , Shkilniak Oksana , Shkilniak Stepan , Mamedov Tohrul
Computer Science Journal of Moldova
Nr. 2 / 2019 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 22 September, 2019. Descarcări-2. Vizualizări-703
-----------------------------------------------------------------------------------------------------------------------------------
1 - 1 of 1