Алгоритмические и семантические вопросы математической логики. 2021-2025НИР

Algorithmic and semantic problems of mathematical logic. 2021-2025

Этапы НИР

# Сроки Название
1 1 января 2021 г.-31 декабря 2021 г. Алгоритмические и семантические вопросы математической логики. 2021
Результаты этапа:
2 1 января 2022 г.-31 декабря 2022 г. Алгоритмические и семантические вопросы математической логики. 2022
Результаты этапа:
3 1 января 2023 г.-31 декабря 2023 г. Алгоритмические и семантические вопросы математической логики. 2023
Результаты этапа:
4 1 января 2024 г.-31 декабря 2024 г. Алгоритмические и семантические вопросы математической логики. 2024
Результаты этапа:
5 1 января 2025 г.-31 декабря 2025 г. Алгоритмические и семантические вопросы математической логики. 2025
Результаты этапа:

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".