Sciact
Toggle navigation
  • EN
  • RU

Sections:

  • Articles
  • Books
  • Conference attendances
  • Conference theses
  • Patents

Articles (32)

# Публикация
21 Goncharov S.S. , Harizanov V. , Miller R.
On Decidable Categoricity and Almost Prime Models
Siberian Advances in Mathematics. 2020. V.30. N3. P.200-212. DOI: 10.3103/S1055134420030050 Scopus OpenAlex
22 Goncharov S. , Sviridenko D.
Semantic Modeling and Hybrid Models
In compilation SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. 2020. – C.987-990. – ISBN 978-172814401-6. DOI: 10.1109/sibircon48586.2019.8958196 Scopus OpenAlex
23 Vityaev E.E. , Goncharov S.S. , Sviridenko D.I.
О задачном подходе в искусственном интеллекте
Сибирский философский журнал. 2020. Т.18. №2. С.5-29. DOI: 10.25205/2541-7517-2020-18-2-5-29 OpenAlex
24 Goncharov S.S. , Sviridenko D.I. , Vityaev E.E.
Task Approach to Artificial Intelligence
CEUR Workshop Proceedings. 2020. V.2642. P.1-6. Scopus
25 Ershov Y.L. , Goncharov S.S. , Mazurov V.D. , Baizhanov B.S. , Kulpeshov B.S. , Alaev P.E. , Vasil'ev A.V. , Vasil'ev E.V. , Vdovin E.P. , Verbovskii V.V. , Vikent'ev A.A. , Vlasov D.Y. , Grechkoseeva M.A. , Zhelyabin V.N. , Kolesnikov P.S. , Kopytov V.M. , Maksimova L.L. , Mal'tsev I.A. , Morozov A.S. , Nikitin A.A. , Ovchinnikova E.V. , Odintsov S.P. , Pal'chunov D.E. , Peryazev N.A. , Pinus A.G. , Pobedin L.N. , Pozhidaev A.P. , Poizat B. , Puzarenko V.G. , Revin D.O. , Remeslennikov V.N. , Romanovskii N.S. , Ryaskin A.N. , Starchenko S.S. , Stepanova A.A. , Sudoplatov S.V. , Timoshenko E.I. , Tusupov D.A. , Khisamiev N.G. , Churkin V.A. , Chatzidakis Z. , Shegirov K.M. , Shestakov I.P.
Evgenii Andreevich Palyutin (1945–2018)
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2019. Т.16. С.А.1-А.10. DOI: 10.33048/semi.2019.16.028 WOS OpenAlex
26 Goncharov S.S. , Sviridenko D.I.
Logical Language of Description of Polynomial Computing
Doklady Mathematics. 2019. V.99. N2. P.121-124. DOI: 10.1134/S1064562419020030 WOS Scopus OpenAlex
27 Goncharov S.S. , Miller R. , Harizanov V.
Turing Degrees of Complete Formulas of Almost Prime Models
Algebra and Logic. 2019. V.58. N3. P.282-287. DOI: 10.1007/s10469-019-09546-y WOS Scopus OpenAlex
28 Goncharov S.S. , Sviridenko D.I.
Recursive Terms in Semantic Programming
Siberian Mathematical Journal. 2018. V.59. N6. P.1014-1023. DOI: 10.1134/s0037446618060058 WOS Scopus OpenAlex
29 Goncharov S.S. , Knight J.F. , Souldatos I.
Hanf number for Scott sentences of computable structures
Archive for Mathematical Logic. 2018. V.57. N7-8. P.889-907. DOI: 10.1007/s00153-018-0615-6 WOS Scopus OpenAlex
30 Goncharov S.S.
Conditional terms in semantic programming
Siberian Mathematical Journal. 2017. V.58. N5. P.794-800. DOI: 10.1134/S0037446617050068 WOS Scopus OpenAlex
31 Goncharov S.S. , Bazhenov N.A. , Marchuk M.I.
The index set of the groups autostable relative to strong constructivizations
Siberian Mathematical Journal. 2017. V.58. N1. P.72-77. DOI: 10.1134/S0037446617010104 WOS Scopus OpenAlex
32 Goncharov S.S. , Bazhenov N.A. , Marchuk M.I.
Index Set of Linear Orderings that are Autostable Relative to Strong Constructivizations
Journal of Mathematical Sciences (United States). 2017. V.221. N6. P.840-848. DOI: 10.1007/s10958-017-3272-0 Scopus OpenAlex

  • « Previous
  • 1
  • 2
  • Next »
2   /  2   -  Total 32 records

Filter

Order

Field Direction

Columns

Reset