Afișare rezultate |
Afisarea articolelor 1-1(1) pentru cuvîntul-cheie "classical predicate logic"
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-629 |
1-1 of 1