FIT-Conference Hub
Конференции
Журналы
Визуализация
Чат-бот
НОВОЕ
Поддержка
Опубликовать
Тема
Русский
Конференции
Журналы
Визуализация
Чат-бот
НОВОЕ
Поддержка
Опубликовать
Уведомления
Отметить все как прочитанные
Нет новых уведомлений.
Посмотреть все
Ключевое слово
Начало:
Конец:
Тип
Местоположение
Поиск
Очистить
Скрыть расширенные параметры поиска
?
Дата подачи статей:
Ранг:
Все ранги
A*
A
B
C
Unranked
Other
Источник:
Все источники
Издатель:
Темы:
Formalization of Mathematics
×
Область исследований:
Результаты поиска конференций (1)
Событий на странице:
4
8
12
20
50
100
Conference on Interactive Theorem Proving (ITP)
Rank: A
Offline
Reykjavik, Iceland
Sep 29, 2025 - Oct 2, 2025
Interactive Theorem Proving
Program Verification
Security
+1 еще
