1. 2020
  2. Consciousness as a logically consistent and prognostic model of reality

    Vityaev, E., 1 янв. 2020, в: Cognitive Systems Research. 59, стр. 231-246 16 стр.

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

  3. Definable subsets of polynomial-time algebraic structures

    Bazhenov, N., 1 янв. 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Gabler, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

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

  4. Existence of Independent Quasi-Equational Bases

    Schwidefsky, M. V., 1 янв. 2020, в: Algebra and Logic. 58, 6, стр. 514-537 24 стр.

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

  5. Integrated Computer Analysis of Genomic Sequencing Data Based on ICGenomics Tool

    Orlov, Y. L., Bragin, A. O., Babenko, R. O., Dresvyannikova, A. E., Kovalev, S. S., Shaderkin, I. A., Orlova, N. G. & Naumenko, F. M., 24 янв. 2020, Advances in Intelligent Systems, Computer Science and Digital Economics, CSDEIS 2019. Hu, Z., Petoukhov, S. & He, M. (ред.). Springer Gabler, стр. 154-164 11 стр. (Advances in Intelligent Systems and Computing; том 1127 AISC).

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

  6. Decompositions of decidable abelian groups

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

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

  7. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies

    Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., 1 февр. 2020, в: Lobachevskii Journal of Mathematics. 41, 2, стр. 145-150 6 стр.

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

  8. Turing Degrees and Automorphism Groups of Substructure Lattices

    Dimitrov, R. D., Harizanov, V. & Morozov, A. S., 1 мар. 2020, в: Algebra and Logic. 59, 1, стр. 18-32 15 стр.

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

  9. Тьюринговы степени и группы автоморфизмов решёток подструктур

    Dimitrov, R. D., Harizanov, V. & Морозов, А. С., 1 мар. 2020, в: Алгебра и логика. 59, 1, стр. 27-47 21 стр.

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

  10. On One-to-One Numberings of the Family of All Σ21 -Sets

    Dorzhieva, M. V., 1 мая 2020, в: Journal of Mathematical Sciences (United States). 246, 6, стр. 788–792 5 стр.

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

  11. On Σ-Definability Over Hereditarily Finite and List Superstructures

    Aleksandrova, S. A., 1 мая 2020, в: Journal of Mathematical Sciences (United States). 246, 6, стр. 701-708 8 стр.

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

ID: 3082806