3491 - 3500 из 27 124Размер страницы: 10
Сортировать по:: Заголовок

  1. Computable Functionals of Finite Types in Montague Semantics

    Бурнистов, А. С. & Стукачев, А. И., 2024, в: Сибирские электронные математические известия. 21, 2, стр. 1460-1472 13 стр.

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

  2. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв. 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

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

  3. Computable metrics above the standard real metric

    Kornev, R., 2021, в: Siberian Electronic Mathematical Reports. 18, 1, стр. 377-392 16 стр., 29.

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

  4. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

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

  5. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 224-231 8 стр.

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

  6. Computable Positive and Friedberg Numberings in Hyperarithmetic

    Kalimullin, I. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 1 мар. 2020, в: Algebra and Logic. 59, 1, стр. 46-58 13 стр.

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

  7. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 окт. 2023, в: Annals of Pure and Applied Logic. 174, 9, 25 стр., 103304.

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

  8. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  9. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., янв. 2025, в: Annals of Pure and Applied Logic. 176, 1, 103491.

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

  10. Computational Analysis of Gas Flow in Gas Distributor Breadboard for Creating Efficient Devices to Remove Volatile Organic Compounds

    Balzhinimaev, B. S., Ivanov, S. Y., Kabardin, I. K., Ezendeeva, D. P., Gordienko, M. R., Kakaulin, S. V., Klimonov, I. A., Sycheva, T. I., Usov, E. V. & Yavorskii, N. I., 1 июл. 2019, в: Journal of Engineering Thermophysics. 28, 3, стр. 372-380 9 стр.

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

Назад 1...346 347 348 349 350 351 352 353 ...2713 Далее