Lista publicaţiilor în perioada: 1994-2024, Ucraina - 24
Revista: Computer Science Journal of Moldova

Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates

Nikitchenko Mykola, 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

-----------------------------------------------------------------------------------------------------------------------------------

Admissibility, compatibility, and deducibility in first-order sequent logics

Lyaletski Alexander

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 26 November, 2015

-----------------------------------------------------------------------------------------------------------------------------------

2014 - 1

System Coordination of Survivability and Safety of Complex Engineering Objects Operation

Pankratova Nataliya D.

„Institute for Applied System Analysis“ of National Technical University of Ukraine „Kiev Polytechnical Institute“

Computer Science Journal of Moldova

Nr. 3(66) / 2014 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 20 November, 2014

-----------------------------------------------------------------------------------------------------------------------------------

2012 - 1

Basics of Intensionalized Data: Presets, Sets, and Nominats

Nikitchenko Mykola, Chentsov Alexey

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 3(60) / 2012 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 16 December, 2013

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000