000			01908nam a2200457 a 4500
005			20250918124720.0
006			m d
007			cr nn 008maaau
008			101230s2010 gw s j eng d
020			_a9783642139628 (electronic bk.)
020			_a9783642139611 (paper)
035			_a(Springer)978-3-642-13961-1
039		9	_y12-30-2010 _zmuhaimin
050	0	4	_aQA9.59 _b.C66 2010
082	0	4	_a511.352 _222
090			_aQA9.59 _b.C748 2010
111	2		_aConference on Computability in Europe _n(6th : _d2010 : _cPonta Delgada, Azores)
245	1	0	_aPrograms, proofs, processes _h[electronic resource] : _b6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / _cedited by Fernando Ferreira ... [et al.].
246	3		_aCiE 2010
260			_aBerlin, Heidelberg : _bSpringer-Verlag Berlin Heidelberg, _c2010.
300			_axvi, 450 p. : _bill., digital ; _c24 cm.
440		0	_aLecture notes in computer science, _x0302-9743 ; _v6158
650		0	_aComputable functions _vCongresses.
650	2	4	_aComputation by Abstract Devices.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aSimulation and Modeling.
650	2	4	_aDiscrete Mathematics in Computer Science.
650	2	4	_aArtificial Intelligence (incl. Robotics)
650	2	4	_aAlgorithm Analysis and Problem Complexity.
650	1	4	_aComputer Science.
700	1		_aFerreira, Fernando.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-13962-8
907			_a.b14889195 _b2023-12-04 _c2019-11-12
942			_n0 _kQA9.59 .C748 2010
914			_avtls003450619
998			_ae0001 _b2010-04-12 _cm _da _feng _ggw _y0 _z.b14889195
999			_c475479 _d475479