科图分类法:	QA76 L47 no. 2371 版次：
中图分类法:	TP18-532 版次：
题名:	Abstraction, reformulation, and approximation : [ 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings /] / ,
其它题名:	SARA 2002.
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2002.
载体形态:	xi, 346 p. : ill. ; 24 cm.
主题词:	Computer science
主题词:	Artificial intelligence
主要责任者:	Koenig, Sven,
主要责任者:	Holte, Robert C.