Afiliat la Universitatea Naţională „Taras Shevchenko“, Kiev
Many-Sorted First-Order Composition-Nominative Logic as Institution |
Cenţov Alexei |
Computer Science Journal of Moldova |
Nr. 1(70) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 28 April, 2016 |
Institution for Pure First-Order Composition-Nominative Logic |
Cenţov Alexei , Nikitcenko Micola |
Workshop on Foundations of Informatics |
I. 2015. Chișinău, Republica Moldova. "VALINEX" SRL. 50-63. |
Disponibil online 3 October, 2017 |
Basics of Intensionalized Data: Presets, Sets, and Nominats |
Nikitcenko Micola , Cenţov Alexei |
Computer Science Journal of Moldova |
Nr. 3(60) / 2012 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 16 December, 2013 |
1-3 of 3