000			01916aam a2200457 i 4500
005			20250914164842.0
006			m d
007			cr nn 008maaau
008			090212s2006 gw q j eng d
020			_a9783540313632 (electronic bk.)
035			_a(Springer)978-3-540-31332-8
039		9	_a200902121948 _bmuhaimin _y04-04-2008 _zmuhaimin
050	0	0	_aQA76.9.D3 _bE924 2004
082	0	0	_a005.74 _222
111	2		_aEuropean Workshop on Inductive Databases and Constraint Based Mining _d(2004 : _cHinterzarten, Germany)
245	1	0	_aAutomated Deduction in Geometry _h[electronic resource] : _b5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers _cedited by Hoon Hong, Dongming Wang.
260			_aBerlin Heidelberg : _bSpringer-Verlag GmbH., _c2006
300			_ax, 211 p. : _bill., digital ; _c24 cm.
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v3763
650		0	_aGeometry _xData processing _vCongresses.
650		0	_aAutomatic theorem proving _vCongresses.
650		0	_aLogic, Symbolic and mathematical _vCongresses.
650	1	4	_aComputer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics)
650	2	4	_aComputer Graphics.
650	2	4	_aConvex and Discrete Geometry.
650	2	4	_aDiscrete Mathematics in Computer Science.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aPattern Recognition.
700	1		_aHong, Hoon.
700	1		_aWang, Dongming.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer e-books
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11615798
907			_a.b14142879 _b2024-03-20 _c2019-11-12
942			_n0
914			_avtls003371850
998			_ae0001 _b2008-04-04 _cm _dz _feng _ggw _y0 _z.b14142879
999			_c410267 _d410267