共 33 条
[1]
Aleven V, 1998, LECT NOTES COMPUT SC, V1452, P364
[2]
ANDERSON J, 1993, RULES MIND HILLSDALE
[3]
BOTANA F, 2002, COMPUT EDUC, V49, P27
[4]
Brandao LD, 2004, LECT NOTES COMPUT SC, V3220, P791
[5]
BRANDAO LO, 2005, BRAZ J INF ED, V14, P41
[6]
BRANDAO LO, 2003, P BRAZ COMP SOC C CA, P1476
[8]
FOURREY E, 1924, PROCEDES ORIGINAUX I, P86
[9]
Gallier JeanH., 2003, LOGIC COMPUTER SCI F
[10]
Gao XS, 1999, PROCEEDINGS OF THE FOURTH ASIAN TECHNOLOGY CONFERENCE IN MATHEMATICS, P153