Lista publicaţiilor: Shkilniak Stepan (2), Descărcări - 19, Vizualizări - 1559
Publicații cu CZU
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates |
Nikitchenko Mykola, Shkilniak Stepan |
Computer Science Journal of Moldova |
Nr. 2 / 2015 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-815 |
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-744 |