共 4 条
[1]
Artin M., 2011, Algebra
[2]
Bach E., 1996, ALGORITHMIC NUMBER T
[3]
MUSSER D, 1996, STL TUTORIAL REFEREN
[4]
STEPANOV AA, 1995, HPL9434 STAND TEMPL