111 - 120 из 205Размер страницы: 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. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 369-382 14 стр.

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

  4. On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 нояб. 2019, в: Siberian Mathematical Journal. 60, 6, стр. 1032-1039 8 стр.

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

  5. Σ-Preorderings in ℍF (ℝ)

    Morozov, A. S., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 405-416 12 стр.

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

  6. Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 дек. 2019, в: Journal of Symbolic Logic. 84, 4, стр. 1630-1669 40 стр.

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

  7. Triple Haplotypes of the TP53 Gene in Patients with Diffuse Small B-Cell Lymphoma

    Voropaeva, E. N., Cherdyntseva, N. V., Voevoda, M. I., Pospelova, T. I., Maximov, V. N., Orlov, Y. L. & Ageeva, T. A., 1 дек. 2019, в: Russian Journal of Genetics. 55, 12, стр. 1564-1568 5 стр.

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

  8. 2020

  9. Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (ред.). Springer Science and Business Media Deutschland GmbH, стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12337 LNCS).

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

  10. The expressiveness of looping terms in the semantic programming

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

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

  11. On the for all there exists-Theories of Free Projective Planes

    Kogabaev, N. T., янв. 2020, в: Siberian Mathematical Journal. 61, 1, стр. 95-108 14 стр.

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

  12. Consciousness as a Brain Complex Reflection of the Outer World Causal Relationships

    Vityaev, E., 1 янв. 2020, Biologically Inspired Cognitive Architectures 2019 - Proceedings of the 10th Annual Meeting of the BICA Society. Samsonovich, A. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 556-561 6 стр. (Advances in Intelligent Systems and Computing; том 948).

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

Назад 1...8 9 10 11 12 13 14 15 ...21 Далее

ID: 3082806