Lista publicaţiilor: Nikitcenko Micola - 2
-----------------------------------------------------------------------------------------------------------------------------------
-----------------------------------------------------------------------------------------------------------------------------------
| Towards Representation of Classical Logic as Logic of Partial Quasiary Predicates |
| Nikitchenko Mykola, Shkilniak Stepan |
| Taras Shevchenko National University of Kyiv |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. "VALINEX" SRL. 133-138. |
| Disponibil online 20 March, 2018 |
| On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
| Ivanov Ievgen, Kornilowicz Artur, Nikitchenko Mykola |
| 1 Taras Shevchenko National University of Kyiv, 2 University of Bialystok |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. "VALINEX" SRL. 91-97. |
| Disponibil online 19 March, 2018 |
    |
1-2 of 2
