摘要:
Time limit: 3.000 seconds限时:3.000秒Background背景Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science. The first proof of the four-color problem w... 阅读全文
posted @ 2010-08-14 19:22
Devymex
阅读(2586)
评论(0)
推荐(2)

浙公网安备 33010602011771号