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

  2. 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).

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

  3. 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 стр.

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

  4. 2017

  5. Conditional terms in semantic programming

    Goncharov, S. S., 1 сент. 2017, в: Siberian Mathematical Journal. 58, 5, стр. 794-800 7 стр.

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

  6. Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 мар. 2017, в: Journal of Mathematical Sciences (United States). 221, 6, стр. 840-848 9 стр.

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

  7. The index set of the groups autostable relative to strong constructivizations

    Goncharov, S. S., Bazhenov, N. A. & Marchuk, M. I., 1 янв. 2017, в: Siberian Mathematical Journal. 58, 1, стр. 72-77 6 стр.

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

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

ID: 3434674