000			01881nam a22004095a 4500
005			20251205091151.0
006			m q d
007			cr nn 008maaau
008			090206s2007 gw q j eng d
020			_a9783540773566 (electronic bk.)
035			_a(Springer)978-3-540-77355-9
039		9	_y02-06-2009 _zmuhaimin
111	2		_aInternational Workshop on Automated Deduction in Geometry _n(6th : _d2006 : _cPontevedra, Spain)
245	1	0	_aAutomated Deduction in Geometry : _b6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers _h[electronic resource] / _cFrancisco Botana, Tomas Recio (eds.).
246	3	0	_aADG 2006
260			_aBerlin, Heidelberg : _bSpringer-Verlag Berlin Heidelberg, _c2007.
300			_ax, 211 p. : _bill., digital ; _c24 cm.
440		0	_aLNCS sublibrary. _nSL 7, _pArtificial intelligence
490	1		_aLecture notes in computer science, _x0302-9743 ; _v4869. _aLecture notes in artificial intelligence
504			_aIncludes bibliographical references and index.
650		0	_aGeometry _xData processing _vCongresses.
650		0	_aAutomatic theorem proving _vCongresses.
650		0	_aLogic, Symbolic and mathematical _vCongresses.
700	1		_aBotana, Francisco.
700	1		_aRecio, T. _q(Tomas), _d1949-
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
830		0	_aLecture notes in computer science ; _v4869.
830		0	_aLecture notes in computer science. _pLecture notes in artificial intelligence.
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-77356-6
907			_a.b14401563 _b2025-02-07 _c2019-11-12
914			_avtls003399178
942			_n0 _2lcc
998			_ae0001 _b2009-06-02 _cm _dz _feng _ggw
999			_c675064 _d675064