Development and research methods of semantic analysis of natural and computer languages in artificial intelligence systems. Automating the analysis of formal specifications and verification of automation systems for programming and simulation
Congratulations on the updated site! We are refining and updating information. We look forward to your feedback and suggestions. If you noticed a mistake, please let us know
15 MarchFOR IMMEDIATE RELEASE
1 MarchPresentation "ERASMUS+ in Igor Sikorsky KPI"
finish what you start