On formal proofs and Flyspeck Project
Source: http://www.math.ac.v...uleFLYSPECK.htm
File gửi kèm
-
untitled.JPG 303.41K
3 Số lần tải
Lịch biểu chi tiết về khóa học chứng minh hình thức và chương trình FLYSPECK
Bắt đầu bởi MrMATH, 07-06-2009 - 21:56
#1
Đã gửi 07-06-2009 - 21:56
MrMATH
-
- Hiệp sỹ
-
- 4047 Bài viết
Nguyễn Quốc Khánh
Tentative Schedule of International Workshop
On formal proofs and Flyspeck Project
Source: http://www.math.ac.v...uleFLYSPECK.htm
On formal proofs and Flyspeck Project
Source: http://www.math.ac.v...uleFLYSPECK.htm
#2
Đã gửi 08-06-2009 - 22:51
MrMATH
-
- Hiệp sỹ
-
- 4047 Bài viết
Nguyễn Quốc Khánh
Do vấn đề thời tiết nên các buổi chiều sẽ bắt đầu tại phòng hội thảo lúc 13h30, thay vì 13h như dự kiến 
0 người đang xem chủ đề
0 thành viên, 0 khách, 0 thành viên ẩn danh
