000			00445nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540479970
100			_aXiao-lu Gao, Dongming Wang, Lu Yang
245		0	_aAutomated Deduction in Geometry
250			_a1999
260			_bSpringer Berlin Heidelberg _c1999
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-47997-X
999			_c26564 _d26564