Afișare rezultate |
Afisarea articolelor 1-5(5) pentru cuvîntul-cheie "First-order logic"
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-682 |
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-587 |
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates |
Nikitcenko Micola, Shkilniak Stepan |
Conference on Mathematical Foundations of Informatics |
2018. Chișinău. ISBN 978‐9975‐4237‐7‐9. |
Disponibil online 3 July, 2018. Descarcări-0. Vizualizări-556 |
Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
Nikitcenko Micola, Shkilniak Stepan |
Taras Shevchenko National University of Kyiv |
Conference on Mathematical Foundations of Informatics |
2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
Disponibil online 20 March, 2018. Descarcări-0. Vizualizări-620 |
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates |
Nikitcenko Micola, Shkilniak Stepan |
Taras Shevchenko National University of Kyiv |
Computer Science Journal of Moldova |
Nr. 2(68) / 2015 / ISSN 1561-4042 /ISSNe 2587-4330 |
Disponibil online 20 November, 2015. Descarcări-17. Vizualizări-758 |
1-5 of 5