DIFFERENTIAL EQUATIONS WITH SYMBOLIC COMPUTATION
DONGMING WANG2005 年出版376 页ISBN：3764373687
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation
1991 年出版468 页ISBN：0897914376
Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN：3540397280
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN：3540232125
Lecture Notes in Computer Science 722 Design and Implementation of Symbolic Computation Systems Inte
DISCO93 Gmunden2222 年出版0 页ISBN：
STUDIES IN SYMBOLIC INTERACTION:STUDIES IN SYMBOLIC INTERACTION VOLUME 35
2010 年出版364 页ISBN：0857243616
Lecture Notes in Computer Science 3218 Modular Algorithms in Symbolic Summation and Symbolic Integra
2004 年出版224 页ISBN：3540240616
