- 博客(1)
- 收藏
- 关注
原创 POJ3295
<br /> 转载:http://blog.csdn.net/AllenLSY/archive/2009/11/27/4885948.aspx<br />Tautology<br />WFF 'N PROOF is a logic game played with dice. Each die has six faces representing some subset of the possible symbols K, A, N, C, E, p, q, r, s, t. A Well-formed f
2010-08-04 18:33:00 437
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人