11 - 20 из 138Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

  2. The Existence of Primitive Recursive Structures

    Alaev, P. E., 20 июн. 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Том 15764. стр. 119-132 14 стр.

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

  3. On Weakly Coholographic Structures

    Bazhenov, N. A., Kasymkhanuly, B. & Morozov, A. S., 2 июн. 2025, в: Siberian Mathematical Journal. 66, 3, стр. 641-649 9 стр.

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

  4. The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations

    Kogabaev, N. T., 2 июн. 2025, в: Siberian Mathematical Journal. 66, 3, стр. 702-714 13 стр.

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

  5. Decidable Models of Ehrenfeucht Theories

    Alaev, P. E. & Khlestova, E. I., 5 мая 2025, в: Algebra and Logic. 63, 3, стр. 155–163 9 стр.

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

  6. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

    Goncharov, S. S. & Xiang, J., 29 апр. 2025, в: Algebra and Logic. 63, 3, стр. 179–185 7 стр.

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

  7. On Presentations of the Addition over the Reals

    Morozov, A. S., апр. 2025, в: Lobachevskii Journal of Mathematics. 46, 4, стр. 1892-1903 12 стр., 33.

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

  8. Электронно-вычислительное устройство для обнаружения дефектов городской инфраструктуры и принятия решения по их устранению

    Андреев, А. В. & Нечесов, А. В., 13 февр. 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 231858, 2 окт. 2024, Дата приоритета 2 окт. 2024, № приоритета 2024129480

    Результаты исследований: Патенты/Свидетельства о регистрации › патент на полезную модель

  9. Permutation Groups and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 22 янв. 2025, в: Algebra and Logic. 63, 2, стр. 141-152 12 стр.

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

  10. Датасет по ретроконверсии библиотечных карточек (строительство)

    Белоглазов, Д. М. & Павловский, Е., 17 янв. 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2025620303, 17 дек. 2024, Дата приоритета 17 дек. 2024, № приоритета 2024626458

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации БД

  11. Фреймворк «Каппа»: управление датасетами, версия 1.0.0

    Кумар, Р., Павловский, Е., Денисов, С. С., Иванков, П. С. & Мищенко, А. С., 16 янв. 2025, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2025611211, 18 дек. 2024, Дата приоритета 18 дек. 2024, № приоритета 2024692636

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

Назад 1 2 3 4 5 6 7 8 ...14 Далее

ID: 3083576