Afișare rezultate |
Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "non-deterministic predicate"
Program-oriented Logics of Non-Deterministic Quasiary Predicates |
Nikitcenko Micola, Shkilniak Stepan |
Taras Shevchenko National University of Kyiv |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. ISBN 978-9975-71-915-5. |
Disponibil online 4 October, 2017. Descarcări-0. Vizualizări-684 |
Semantic Properties of Logics of Quasiary Predicates |
Nikitcenko Micola, Shkilniak Stepan |
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-591 |
1-2 of 2