000			02200nam a2200493 a 4500
005			20250918123652.0
006			m d
007			cr nn 008maaau
008			101220s2009 gw j eng d
020			_a9783642046391 _qelectronic book
039		9	_y12-20-2010 _zmuhaimin
082	0	4	_a004.0151 _222
111	2		_aInternational Seminar on Relational Methods in Computer Science _n(11th : _d2009 : _cDoha, Qatar)
245	1	0	_aRelations and kleene algebra in computer science _h[electronic resource] : _b11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / _cedited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
246	3	0	_aRelational methods in computer science.
246	3	0	_aApplications of Kleene algebra.
246	3	0	_aKleene algebra.
246	3	0	_aRelmics 2009.
246	3	0	_aAKA 2009.
260			_aBerlin, Heidelberg : _bSpringer-Verlag Berlin Heidelberg, _c2009.
300			_aviii, 365 pages : _billustrations, digital.
440		0	_aLecture notes in computer science, _x0302-9743 ; _v5827
650		0	_aRelation algebras _vCongresses.
650		0	_aAlgebraic logic _vCongresses.
650		0	_aComputer science _xMathematics _vCongresses.
650	2	4	_aDiscrete Mathematics in Computer Science.
650	2	4	_aSymbolic and Algebraic Manipulation.
650	2	4	_aOrder, Lattices, Ordered Algebraic Structures.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aAlgebra.
700	1		_aBerghammer, Rudolf, _eeditor.
700	1		_aMoller, Bernhard, _eeditor.
700	1		_aJaoua, Ali Mohamed, _eeditor.
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-04639-1
907			_a.b14867187 _b2024-02-26 _c2019-11-12
942			_n0
914			_avtls003448258
998			_ae _b2010-07-12 _cm _dz _feng _ggw _y0 _z.b14867187
999			_c473301 _d473301