IBN
Închide

Afișare rezultate

Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "partial predicate"
Modal Logics of Partial Predicates without Monotonicity Restriction
Shkilniak Oksana
Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 6 October, 2017. Descarcări-0. Vizualizări-577
-----------------------------------------------------------------------------------------------------------------------------------
Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
Nikitcenko Micola, Shkilniak Oksana, Shkilniak Stepan, Mamedov Tohrul
Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 2(80) / 2019 / ISSN 1561-4042 /ISSNe 2587-4330
Disponibil online 22 September, 2019. Descarcări-2. Vizualizări-703
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-2 of 2