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

  2. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem

    Nechesov, A. & Goncharov, S., нояб. 2024, в: Mathematics. 12, 21, 3429.

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

  3. Computable Boolean Algebras and Complexity of the Fréchet Ideal

    Goncharov, S. S., 19 авг. 2024, в: Journal of Mathematical Sciences (United States). 284, 1, стр. 72-82 11 стр.

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

  4. VICTOR DANILOVICH MAZUROV (ON HIS 80-TH BIRTHDAY)

    Ershov, Y. L., Goncharov, S. S., Vasil’ev, A. V., Grechkoseeva, M. A., Kolesnikov, P. S., Romanovskii, N. S., Ryaskin, A. N. & Khukhro, E. I., 24 апр. 2024, в: Siberian Electronic Mathematical Reports. 21, 1, стр. 266-270 5 стр.

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

  5. 2023

  6. Task-driven approach to artificial intelligence

    Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., сент. 2023, в: Cognitive Systems Research. 81, стр. 50-56 7 стр.

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

  7. 2021

  8. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

    Goncharov, S. S. & Marchuk, M. I., июл. 2021, в: Algebra and Logic. 60, 3, стр. 200-206 7 стр.

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

  9. 2020

  10. On Decidable Categoricity and Almost Prime Models

    Goncharov, S. S., Harizanov, V. & Miller, R., 1 июл. 2020, в: Siberian Advances in Mathematics. 30, 3, стр. 200-212 13 стр.

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

  11. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 февр. 2020, в: International Journal of Algebra and Computation. 30, 1, стр. 49-90 42 стр.

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

  12. The expressiveness of looping terms in the semantic programming

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

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

  13. 2019

  14. Semantic Modeling and Hybrid Models

    Goncharov, S. & Sviridenko, D., окт. 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 987-990 4 стр. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  15. Turing Degrees of Complete Formulas of Almost Prime Models

    Goncharov, S. S., Miller, R. & Harizanov, V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 282-287 6 стр.

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

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

ID: 3434674