KMS Of Academy of mathematics and systems sciences, CAS
分面浏览：出处 |
| 当前检索式 | ((ALL：symbolic computation)) |
| 限定条件 | ((文献类型：期刊论文) AND (作者：2s8okbnm-000098)) |
| JOURNAL OF SYMBOLIC 7 | AUTOMATED DEDUCTION 1 | CHAOS SOLITONS & FRA 1 |
| Communications in Th 1 | JOURNAL OF COMPUTER 1 | communicationsintheo 1 |
