Нет фото Олег Викторович Кудинов

Кудинов Олег Викторович

Кандидат физико-математических наук

20172019

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.
Фильтр
статья в сборнике материалов конференции

Поиск результатов

  • 2019

    Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2018

    Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 янв 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (ред.). Springer-Verlag GmbH and Co. KG, стр. 241-255 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10742 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
Ваше сообщение было отправлено.
Ваше сообщение не было отправлено из-за ошибки.