Kudasov Nikolai Dmitrievich | System Informatics

Кудасов Николай Дмитриевич

Nikolai Dmitrievich Kudasov

Russia, Kazan

Academic degree

senior instructor

Research area

Affiliation & position

Innopolis University — senior lecturer

E-mail

List of Articles in System Informatics:

A. Abounegm N. Kudasov Implementing a Language Server for the Rzk Proof Assistant // System Informatics. — 2023. — # 22. — P. 45-50