共查询到20条相似文献,搜索用时 656 毫秒
1.
2.
3.
4.
《Journal of Symbolic Computation》2006,41(3-4):357-371
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
《Information and Computation》2006,204(4):610-636
15.
16.
17.
18.
19.