ISBN:	2003042408 价格：
附注:	x, 223 p. :
由:	Lecture notes in computer science, 继承.
著者:	Asperti, Andrea.
著者:	Buchberger, Bruno.
著者:	Davenport, James Harold,