FIT-Conference Hub
Hội nghị
Tạp chí
Trực quan hóa
Chatbot
MỚI
Hỗ trợ
Đăng tải
Giao diện
Tiếng Việt
Hội nghị
Tạp chí
Trực quan hóa
Chatbot
MỚI
Hỗ trợ
Đăng tải
Thông báo
Đánh dấu tất cả là đã đọc
Không có thông báo mới.
Xem tất cả
Từ khóa
Bắt đầu:
Kết thúc:
Loại
Địa điểm
Tìm kiếm
Xóa
Ẩn tùy chọn tìm kiếm nâng cao
?
Ngày nộp bài:
Xếp hạng:
Tất cả các Xếp hạng
A*
A
B
C
Unranked
Other
Nguồn:
Tất cả các Nguồn
Nhà xuất bản:
Chủ đề:
Formalization of Mathematics
×
Lĩnh vực nghiên cứu:
Kết quả hội nghị (1)
Sắp xếp theo:
Ngày nộp bài
Conference Date
Xếp hạng
Loại
Mặc định
Giảm dần
Tăng dần
Sự kiện mỗi trang:
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 thêm
