ISBN:	2003052969 价格：
附注:	xi, 514 p. :
由:	Lecture notes in computer science, 继承.
著者:	Nieuwenhuis, Robert.