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

  1. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

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

  2. A Topological Characterization of ITBM–Representable Relational Structures

    Morozov, A. S., 27 авг. 2026, в: Algebra and Logic. 64, 6, стр. 432-434 3 стр.

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

  3. A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

    Morozov, A. S., 1 мая 2018, в: Siberian Mathematical Journal. 59, 3, стр. 463-469 7 стр.

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

Назад 1 2 3 Далее

ID: 3438806