51 - 60 из 63Размер страницы: 10
Сортировать по:: Заголовок

  1. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, в: Сибирские электронные математические известия. 17, стр. 380-394 15 стр., 024.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 29, стр. 52-67 16 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 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, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  4. Using mixed reality technologies to explore the exhibits of the Kuzbass Botanical Garden

    Molorodov, Y. I. & Chernyavtsev, E. D., 2021, в: CEUR Workshop Proceedings. 3006, стр. 203-211 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  5. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 янв. 2018, в: CEUR Workshop Proceedings. 2260, стр. 511-524 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  6. Visualization of graph presentations of data-flow programs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 дек. 2018, стр. 138-141. 4 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  7. Webometric analysis of Russian scientific and education web

    Kosyakov, D., Guskov, A. & Bykhovtsev, E., 1 янв. 2017, в: CEUR Workshop Proceedings. 1839, стр. 196-207 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  8. Влияние методов построения векторных представлений на подходы выравнивания сущностей

    Гусев, Д. И. & Апанович, З. В., 2022, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 2, стр. 5-17 13 стр., 1.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

  10. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2022, Москва: Юрайт. 93 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

Назад 12 3 4 5 6 7 Далее

ID: 3089109